Docs: increase font size of inline code.

CTSRD-TESLA · Jun 20, 2013 · 1a9b01e · 1a9b01e
1 parent 281bd0e
commit 1a9b01e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/doc/html/tesla.css b/doc/html/tesla.css
@@ -9,6 +9,14 @@
 
 h1, h2, h3, h4, h5, h6 { color: rgb(0, 51, 102); }
 
+/*
+ * Increase font size of inline code to match surrounding text.
+ *
+ * The font size in code listings is already big enough.
+ */
+code { font-size: 130%; }
+code.listing { font-size: 100%; }
+
 
 /*
  * Nice figures.