From 16b781fb5f8ae0b04e8c69e271b39d60e87b6bab Mon Sep 17 00:00:00 2001
From: ejc12 <ejc12@43c2fc9b-1942-4403-87b2-35b4218f7473>
Date: Sat, 15 Jan 2011 20:58:22 +0000
Subject: [PATCH] Relative fonts and decreasing padding on headings.

---
 doc/css/doc.css | 35 ++++++++++++++++++++++++-----------
 1 file changed, 24 insertions(+), 11 deletions(-)

diff --git a/doc/css/doc.css b/doc/css/doc.css
index 7110bcc3..4465d087 100644
--- a/doc/css/doc.css
+++ b/doc/css/doc.css
@@ -21,7 +21,7 @@ body{
     padding: 0;
     height: 100%; /* needed for container min-height */
     font-family: 'Arimo', "Lucida Sans Unicode","Lucida Grande", Geneva, helvetica, sans-serif; 
-    /*font-size: 62.5%;*/
+    font-size: 1em;
     height: auto !important; /* real browsers */
     height: 100%; /* IE6: treaded as min-height*/;
     min-height: 100%; /* real browsers */
@@ -31,10 +31,15 @@ body{
    background: #f3f3f0 url(../images/header-background.png) center 0 no-repeat; 
 }
 /* h1,h2,h3,h4,h5,h6 ------>  */
-h2{
-    padding: 10px 0 12px 0;
+h1 {
+    padding: 8px 0 6px 0;
     margin: 0;
-    font-size: 22px;
+    font-size: 1.4em;	
+}
+h2 {
+    padding: 8px 0 6px 0;
+    margin: 0;
+    font-size: 1.3em;
     color: #2485ae; 
 }
 h2 a{
@@ -47,21 +52,21 @@ h2 a:hover, h2 a:active{
     text-decoration: none; 
 }
 h3{
-    padding: 10px 0 12px 0;
+    padding: 8px 0 6px 0;
     margin: 0;
-    font-size: 18px;
+    font-size: 1.2m;
     color: #2485ae; 
 }
 h4{
-    padding: 10px 0 12px 0;
+    padding: 8px 0 6px 0;
     margin: 0;
-    font-size: 16px;
+    font-size: 1.1em;
     color: #2485ae; 
 }
 h5{
-    padding: 10px 0 12px 0;
+    padding: 8px 0 6px 0;
     margin: 0;
-    font-size: 14px;
+    font-size: 1em;
     color: #2485ae; 
 }
 
@@ -75,6 +80,10 @@ a:visited {
 	color: #5e6363;
 }
 
+code, pre {
+	font-size: 1em;
+}
+
 /* HEADER ------>  */
 #branding {
     position: relative;
@@ -225,4 +234,8 @@ p{
 .displace {
     position: absolute;
     left: -9999px;
-}
\ No newline at end of file
+}
+
+ol.alpha {
+	list-style-type:decimal;
+}