new: escape sequence handling

[mandoc.git] / index.css

diff --git a/index.css b/index.css
index c9b1ddf33783d0b50eaa5809d6727258b45aa5f9..559dd979527650d6f886cbeb2326760af08f8ccb 100644 (file)
--- a/index.css
+++ b/index.css
@@ -3,7 +3,8 @@ body            { color: #333333;
                  font-family: Verdana, Tahoma, Arial, sans-serif; }
 
 table.frame    { max-width: 800px; 
                  font-family: Verdana, Tahoma, Arial, sans-serif; }
 
 table.frame    { max-width: 800px; 

-                 padding-left: 10px; }
+                 padding-right: 2em;
+                 padding-left: 1em; }

 
 table          { padding-left: 40px; }
 
 
 table          { padding-left: 40px; }
 


@@ -20,27 +21,26 @@ h2          { font-weight: bold;
                  margin-bottom: 0px; 
                  font-family: Verdana, Tahoma, Arial, sans-serif; }
 
                  margin-bottom: 0px; 
                  font-family: Verdana, Tahoma, Arial, sans-serif; }
 

-div.clhead     { background-color: #E6E6FA; color: #000000; padding: 2px; font-weight: bold; }
-
-div.clbody     { margin-left: 2px; }
-
-ul.clbody      { margin-top: 4px; }
-
-span.rev       { font-weight: bold; }
-
-span.nm                { color: #000000; font-weight: bold; }
+span.nm                { font-weight: bold; }

 
 span.attn      { color: #000000; font-weight: bold; }
 
 
 span.attn      { color: #000000; font-weight: bold; }
 

-div.head       { border-bottom: 1px dotted #cccccc; 
+span.flag      { font-weight: bold; }
+
+div.head       { border-bottom: 1px solid #dddddd; 

                  padding-bottom: 5px;
                  text-align: right; }
 
                  padding-bottom: 5px;
                  text-align: right; }
 

-div.foot       { border-top: 1px dotted #cccccc; 
+div.foot       { border-top: 1px solid #dddddd; 

                  padding-top: 5px;
                  font-size: smaller;
                  text-align: right; }
 
                  padding-top: 5px;
                  font-size: smaller;
                  text-align: right; }
 

-a.external     { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
+a.external     { background: transparent url(external.png) center right no-repeat; 
+                 padding-right: 12px; }
+
+span.date      { color: #000000; }
+
+div.news       { margin-bottom: 2em; }

 
 

-span.date      { color: #808080; }
+div.news ul    { margin-left: 4em; }