softcover.css in softcover-1.2.2

- old
+ new

@@ -72,10 +72,18 @@
   font-size: 95%;
   color: darkgreen;
   font-weight: bold;
 }
 
+#book code.tt {
+  font-family: Courier, monospace;
+  color: #070707;
+  font-size: 100%;
+  font-weight: normal;
+}
+
+
 #book .number {
   margin-right: 1em;
 }
 
 #book h1 span.number {
@@ -423,13 +431,9 @@
   float: right;
 }
 
 #book a span.undefined_ref {
   color: red;
-}
-
-#book .tt {
-  font-family: Courier, monospace;
 }
 
 #book .sc {
   font-variant: small-caps;
 }