softcover.css in softcover-0.6.9

- old
+ new

@@ -16,12 +16,21 @@
   padding-top: 1em;
 }
 
 #book h2 {
   font-size: 180%;
+  margin-top: 1.5em;
 }
 
+#book h3 {
+  margin-top: 1.5em;
+}
+
+#book h4 {
+  margin-top: 2em;
+}
+
 #book img.tex {
   vertical-align: -6px;
 }
 
 /* Title and subtitle */
@@ -94,11 +103,11 @@
 
 #book .code {
   margin-top: 0.2em;
   width: 100%;
   white-space: pre;
-  font-family: Courier, monospace;
+  font-family: "Courier New", Courier, monospace;
   border: 1px solid #999;
   background: #eee;
   margin-bottom: 1em;
 }
 
@@ -129,9 +138,14 @@
   margin-left: 0.4em;
 }
 
 #book .codelisting span.break {
   margin-top: -0.4em;
+}
+
+#book .code .highlight .lineno {
+  color: #666;
+  font-weight: normal;
 }
 
 #book .filepath {
   font-family: Courier, monospace;
   font-size: 80%;
\ No newline at end of file