Make a little more room for showing examples

1 files changed, 8 insertions, 2 deletions

diff --git a/style/style.css b/style/style.css
index d07a4f3..f685f1b 100644
--- a/style/style.css
+++ b/style/style.css
@@ -303,13 +303,14 @@ dl.toc > dt
 .informalfigure,
 .figure
 {
-  margin: 2em;
+  margin: 1em;
 }
 
 .informalexample,
 .example
 {
-  margin: 2em;
+  margin-top: 1em;
+  margin-bottom: 1em;
 }
 
 .warning
@@ -423,6 +424,11 @@ h2 .extralinks, h3 .extralinks
   padding: 0.5em;
 }
 .listing_lines {
+  /* this just adds visual clutter and
+     takes precious room from small screens */
+  display: none;
+}
+.listing_lines {
   /* tango:sky blue 0.5 */
   background: #a6c5e3;
   background: rgba(114, 159, 207, 0.2);