Revert "Improve typography"

This reverts commit 36e4471.

Given that most people who commented on #652 disliked the change in one way or
another, I am reverting this commit.

This, however, does not mean that fonts do not have to be changed, or that
some of the changes in this commit are not good. As all of the changes are in
one rather big commit, it is a bit hard to cherry-pick what is actually needed,
especially given that there is no final consensus on each particular thing.

In other words, this revert does not solve #652, but it gives us a good start
for working on the issues. Further discussion in #652 is welcome.

This also reverts 540a340. It is a followup
to the typography changes, which may or may not make sense when applied alone.
The commit message says “reduce line-height” but in reality it increases it
compared to the versions before “Improve typography” commit. It also conflicts
with the revert anyway.

Author: AlexDaniel

assets/sass/style.scss

@@ -1,11 +1,7 @@
-$font-regular:   'Open Sans', sans-serif;
-$font-condensed: 'Open Sans Condensed', sans-serif;
-$font-mono:      'Roboto Mono', monospace;
-
 html, body {
     margin: 0;
     background: #EFEFEF!important;
-    font-family: $font-regular!important; /*override font from perl.css
+    font-family: sans-serif !important; /*override font from perl.css
         stylesheet, until we can get rid of it*/
 }
 
@@ -22,26 +18,6 @@ body {
     width: auto;
 }
 
-h1, h2, h3, h4, h5, h6, dt {
-    font-family: $font-condensed;
-}
-
-dt {
-    font-size: 140%;
-}
-
-// TOC
-#content nav.indexgroup {
-    > ol > li > a {
-        font-family: $font-condensed;
-        font-size: 120%;
-    }
-
-    .indexItem {
-        line-height: 1.2em;
-    }
-}
-
 .title {
     margin-top: 0;
     text-align: center;
@@ -65,10 +41,6 @@ code {
     color: #666;
 }
 
-pre, code {
-    font-family: $font-mono;
-}
-
 pre {
     a {
         text-decoration: underline;
@@ -139,6 +111,8 @@ td {
 }
 
 #header {
+    font-family: sans-serif;
+    font-weight: bold;
     border-radius: 0 0 4em 4em;
     margin: -2em auto 0; /*extra top padding and negative margin preserves bleed-off illusion for shadow*/
     padding: 3em 0em 0em 0em;
@@ -148,7 +122,6 @@ td {
 }
 
 #header > a {
-    font-family: $font-condensed;
     color: #000000;
     text-decoration: none;
     font-size: 2em;
@@ -239,22 +212,18 @@ td {
 }
 
 .ui-autocomplete-category {
-    font-family: $font-condensed;
-    font-size: 110%;
+    font-weight: bold;
+    font-style: italic;
     background-color: #8BC313;
     padding: 2px 5px;
     line-height: 1.5;
 }
 .ui-state-focus {
-    font-weight: normal!important;
+    font-weight: normal !important; /* override css/custom-theme/jquery-ui.css */
+    font-style: italic;
 }
 .ui-menu .ui-menu-item {
-    padding-left: 1em!important;
-}
-
-.ui-widget input,
-.ui-widget {
-    font-family: $font-regular;
+    padding-left: 1em !important; /* override css/custom-theme/jquery-ui.css */
 }
 
 .menu {
@@ -319,22 +288,6 @@ td {
     background-repeat: no-repeat;
     background-position: right 2em top 2em;
 
-    p, li, dt, dd {
-        line-height: 1.75em;
-    }
-
-    pre {
-        line-height: 1.35em;
-    }
-
-    p {
-        margin-top: 25px;
-    }
-
-    table p {
-        margin-top: 0;
-    }
-
     dt {
         font-weight: bold;
         margin-bottom: 0.2em;

html/css/style.css

@@ -1,7 +1,7 @@
 html, body {
   margin: 0;
   background: #EFEFEF !important;
-  font-family: "Open Sans", sans-serif !important;
+  font-family: sans-serif !important;
   /*override font from perl.css
         stylesheet, until we can get rid of it*/ }
 
@@ -16,19 +16,6 @@ body {
   margin: -1px 0 0;
   width: auto; }
 
-h1, h2, h3, h4, h5, h6, dt {
-  font-family: "Open Sans Condensed", sans-serif; }
-
-dt {
-  font-size: 140%; }
-
-#content nav.indexgroup > ol > li > a {
-  font-family: "Open Sans Condensed", sans-serif;
-  font-size: 120%; }
-
-#content nav.indexgroup .indexItem {
-  line-height: 1.2em; }
-
 .title {
   margin-top: 0;
   text-align: center; }
@@ -49,9 +36,6 @@ pre {
 code {
   color: #666; }
 
-pre, code {
-  font-family: "Roboto Mono", monospace; }
-
 pre a {
   text-decoration: underline;
   color: black; }
@@ -106,6 +90,8 @@ td {
   background-color: #F5EF7B; }
 
 #header {
+  font-family: sans-serif;
+  font-weight: bold;
   border-radius: 0 0 4em 4em;
   margin: -2em auto 0;
   /*extra top padding and negative margin preserves bleed-off illusion for shadow*/
@@ -115,7 +101,6 @@ td {
   border-top: none; }
 
 #header > a {
-  font-family: "Open Sans Condensed", sans-serif;
   color: #000000;
   text-decoration: none;
   font-size: 2em;
@@ -190,21 +175,20 @@ td {
   color: #000000; }
 
 .ui-autocomplete-category {
-  font-family: "Open Sans Condensed", sans-serif;
-  font-size: 110%;
+  font-weight: bold;
+  font-style: italic;
   background-color: #8BC313;
   padding: 2px 5px;
   line-height: 1.5; }
 
 .ui-state-focus {
-  font-weight: normal !important; }
+  font-weight: normal !important;
+  /* override css/custom-theme/jquery-ui.css */
+  font-style: italic; }
 
 .ui-menu .ui-menu-item {
-  padding-left: 1em !important; }
-
-.ui-widget input,
-.ui-widget {
-  font-family: "Open Sans", sans-serif; }
+  padding-left: 1em !important;
+  /* override css/custom-theme/jquery-ui.css */ }
 
 .menu {
   border: none;
@@ -259,14 +243,6 @@ td {
   background-image: url(/images/camelia-faded.png);
   background-repeat: no-repeat;
   background-position: right 2em top 2em; }
-  #content p, #content li, #content dt, #content dd {
-    line-height: 1.75em; }
-  #content pre {
-    line-height: 1.35em; }
-  #content p {
-    margin-top: 25px; }
-  #content table p {
-    margin-top: 0; }
   #content dt {
     font-weight: bold;
     margin-bottom: 0.2em; }

template/head.html

@@ -4,4 +4,3 @@
 <link type="text/css" href="/css/custom-theme/jquery-ui.css" rel="stylesheet" />
 <link type="text/css" href="/css/pygments.css" rel="stylesheet" />
 <noscript> <style> #search { visibility: hidden; } </style> </noscript>
-<link href="https://fonts.googleapis.com/css?family=Open+Sans|Open+Sans+Condensed:700|Roboto+Mono" rel="stylesheet">