pre font-size increase; revert static top navbar, undo contents section for now

2026-05-30 15:24:08 +03:00 · 2012-08-19 23:01:24 -07:00
parent 4e979f084d
commit a667fd93ab
16 changed files with 43 additions and 51 deletions
@@ -21,10 +21,10 @@
 /* Specify class=linenums on a pre to get line numbering */
 ol.linenums {
  margin: 0 0 0 33px; /* IE indents via margin-left */
-} 
+}
 ol.linenums li {
  padding-left: 12px;
  color: #bebec5;
-  line-height: 18px;
+  line-height: 20px;
  text-shadow: 0 1px 0 #fff;
 }