[Dart-dev] [7102] DART/trunk/doc/html/doc.css: The optional code font family default size is just too small.

[nancy at ucar.edu]

Revision: 7102
Author:   thoar
Date:     2014-08-04 14:34:37 -0600 (Mon, 04 Aug 2014)
Log Message:
-----------
The optional code font family default size is just too small.

Modified Paths:
--------------
    DART/trunk/doc/html/doc.css

-------------- next part --------------
Modified: DART/trunk/doc/html/doc.css
===================================================================
--- DART/trunk/doc/html/doc.css	2014-08-04 20:16:19 UTC (rev 7101)
+++ DART/trunk/doc/html/doc.css	2014-08-04 20:34:37 UTC (rev 7102)
@@ -193,10 +193,6 @@
     font-family:"Lucida Console", monospace;
     font-weight:bold;}
 
-em.option{
-    color:blue; 
-    font-family:oblique;}
-
 em.optionalcode{
     color:red; 
     font-style:oblique;
@@ -217,6 +213,11 @@
     font-style:normal;
     font-family:"Lucida Console",monospace;}
 
+em.option{
+    color:blue; 
+    font-size: 1.2em;
+    font-family:oblique;}
+
 em.nav{
     font-family:sans-serif;
     color:white;}