www/server/staging/nav-bar/test9 layout7.css

[Therese Godefroy]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Therese Godefroy <th_g> 15/11/01 19:48:33

Modified files:
        server/staging/nav-bar/test9: layout7.css 

Log message:
        Fix margins in ul and ol to fit .summary/.toc.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/server/staging/nav-bar/test9/layout7.css?cvsroot=www&r1=1.112&r2=1.113

Patches:
Index: layout7.css
===================================================================
RCS file: /webcvs/www/www/server/staging/nav-bar/test9/layout7.css,v
retrieving revision 1.112
retrieving revision 1.113
diff -u -b -r1.112 -r1.113
--- layout7.css 1 Nov 2015 13:06:03 -0000       1.112
+++ layout7.css 1 Nov 2015 19:48:33 -0000       1.113
@@ -228,11 +228,11 @@
 
 p, pre, ul li, ol li, dt, dd, code, address { line-height: 1.3em; }
 p { margin-top: 1em; }   /* In combo.css: margin-bottom:1em. */
-ul, ol, blockquote { margin: .5em 3% 1em 3%; }
+ul, ol, blockquote { margin: 1em 3%; }
 
 /* Lists of underlined links are difficult to read. The top margin
    gives a little more spacing between entries. */
-ul li, ol li { margin: .2em 1em 0 1em; }
+ul li, ol li { margin: .3em 1em 0 1em; }
 
 /* Separate description lists from preceding text */
 dl { margin: 2em 0 0 0; }
@@ -491,22 +491,28 @@
 
 /* Common definitions */
 div.summary, div.toc {
-   padding: .4em 1.5em 1.5em 1.5em;
+   padding: .4em 1.5em .5em 1.5em;
    background: #f0f2f4;
 }
 div.summary a, div.toc a {
    text-decoration: none;
 }
+div.summary ul li ul { margin: 0 3%; }
+
 div.summary a:hover, div.toc a:hover {
    color: black; text-decoration: underline;
 }
-div.summary ul, div.toc ul {
-   margin-top: 0; margin-bottom: 0;
-}
 div.summary h3, div.toc h3,
  div.summary h4, div.toc h4 {
    text-align: center;
 }
+#content div.summary h3, #content div.toc h3 {
+   font-size: 1.2em;
+   margin-top: 1em;
+}
+#content div.summary h4, #content div.toc h4 {
+   font-size: 1.1em;
+}
 
 /* Small tables of contents */
 div.summary {