Normalized line heights.

15 years ago · fdf4d79bdc
2 changed files with 3 additions and 2 deletions
--- a/docs/_themes/flasky/static/flasky.css_t
+++ b/docs/_themes/flasky/static/flasky.css_t
@ -185,7 +185,7 @@ a.headerlink:hover {
 }
 
 div.body p, div.body dd, div.body li {
-    line-height: 1.5em;
+    line-height: 1.4em;
 }

 div.admonition {
--- a/website/index.html
+++ b/website/index.html
@ -12,8 +12,9 @@
  code,
  pre     { font-family: 'Consolas', 'Menlo', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono',
          monospace; font-size: 15px; background: #eee; }
-  pre     { padding: 7px 30px; margin: 15px -30px; }
+  pre     { padding: 7px 30px; margin: 15px -30px; line-height: 1.3; }
  .ig     { color: #888; }
+  p       { line-height: 1.4; }
  ul      { margin: 15px 0 15px 0; padding: 0; list-style: none; }
  ul li:before { content: "\00BB \0020"; color: #888; position: absolute; margin-left: -19px; }
  h1 span, p.tagline { display: none; }