Clean up some tight spots in mandoc's default mode: pessimistically

[mandoc.git] / index.css

diff --git a/index.css b/index.css
index 7acadb52a271533f2c96c75ff2a5d31f93c6d654..623d55bc0fb3683426ef91515d784a4da69f9e7d 100644 (file)
--- a/index.css
+++ b/index.css
@@ -20,25 +20,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; }
 

-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.flag      { font-weight: bold; }
 
 
 span.attn      { color: #000000; font-weight: bold; }
 
 span.flag      { font-weight: bold; }
 

-div.head       { border-bottom: 1px dotted #cccccc; 
+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; }

 
 

-span.date      { color: #808080; }
+div.news       { margin-bottom: 2em; }

 
 

-col.date       { width: 8em; }
+div.news ul    { margin-left: 4em; }