www style.css

[Therese Godefroy]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Therese Godefroy <th_g> 16/05/20 20:17:48

Modified files:
        .              : style.css 

Log message:
        Various adjustments for manuals.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/style.css?cvsroot=www&r1=1.43&r2=1.44

Patches:
Index: style.css
===================================================================
RCS file: /webcvs/www/www/style.css,v
retrieving revision 1.43
retrieving revision 1.44
diff -u -b -r1.43 -r1.44
--- style.css   9 Apr 2016 17:35:26 -0000       1.43
+++ style.css   20 May 2016 20:17:48 -0000      1.44
@@ -21,12 +21,11 @@
    border: .1em solid #c0c0c0;
 }
 
-
 /*** BASIC ELEMENTS ***/
 
 /* Size and positioning */
 
-p, pre, li, dt, dd, code, address { line-height: 1.3em; }
+p, pre, li, dt, dd, table, code, address { line-height: 1.3em; }
 
 h1 { font-size: 2em; margin: 1em 0 }
 h2 { font-size: 1.50em; margin: 1.0em 0 0.87em 0; }
@@ -35,8 +34,10 @@
 h5 { font-size: 1.00em; margin: 1.0em 0 1.00em 0; }
 
 p, pre { margin: 1em 0; }
-ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; }
+pre { overflow: auto; }
 
+ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; }
+hr { margin: 1em 0; }
 /* Lists of underlined links are difficult to read. The top margin
    gives a little more spacing between entries. */
 ul li { margin: .5em 1em; }
@@ -56,13 +57,13 @@
    from subsequent <p> */
 dd p { margin: .5em 0; }
 
-table { margin-top: 1.5em; margin-bottom: 1.5em; }
-th { padding: .4em .5em; text-align: center; }
-td { padding: .3em .5em; }
-
-pre, table, table pre { overflow: auto; }
+table {
+   display: block; overflow: auto;
+   margin-top: 1.5em; margin-bottom: 1.5em;
+}
+th { padding: .3em .5em; text-align: center; }
+td { padding: .2em .5em; }
 
-hr { background-color: #ccc; }
 address { margin-bottom: 1em; }
 caption { margin-bottom: .5em; text-align: center; }
 sup { vertical-align: super; }
@@ -79,26 +80,33 @@
 
 a[href] { color: #005090; }
 a[href]:visited { color: #100070; }
-a[href]:active, a[href]:hover { color: #777; }
+a[href]:active, a[href]:hover {
+   color: #100070;
+   text-decoration: none;
+}
 
 h1 a[href]:visited, h2 a[href]:visited, h3 a[href]:visited,
  h4 a[href]:visited { color: #005090; }
 h1 a[href]:hover, h2 a[href]:hover, h3 a[href]:hover,
- h4 a[href]:hover { color: #777; }
+ h4 a[href]:hover { color: #100070; }
 
 ol { list-style: decimal outside;}
 ul { list-style: square outside; }
 ul ul, ol ul { list-style: circle; }
 li { list-style: inherit; }
 
-tr { border-bottom: 1px solid #eee; }
+hr { background-color: #ede6d5; }
+table { border: 0; }
 
-abbr,acronym { border-bottom:1px dotted #000; cursor:help; }
+abbr,acronym {
+   border-bottom:1px dotted #000;
+   text-decoration: none;
+   cursor:help;
+}
 del { text-decoration: line-through; }
 em { font-style: italic; }
 small { font-size: .9em; }
 
-
 /*** SIMPLE CLASSES ***/
 
 .center, .c { text-align: center; }
@@ -125,6 +133,13 @@
 .header, .node { margin: 0 -1em; padding: 0 1em; }
 .header p, .node p { line-height: 2em; }
 
+/* For navigation links */
+.node a, .header a { display: inline-block; line-height: 2em; }
+.node a:hover, .header a:hover { background: #f2efe4; }
+
+/* Inserts */
+table.cartouche td { padding: 1.5em; }
+
 div.display, div.example, div.lisp, div.smalldisplay,
  div.smallexample, div.smalllisp { margin-left: 3%; }
 
@@ -137,15 +152,16 @@
    -webkit-border-radius: .3em;
    -moz-border-radius: .3em;
    border-radius: .3em;
-   border: 1px solid #c0c0c0;
-   background-color: #f3f3f3;
+   border: 1px solid #d4cbb6;
+   background-color: #f2efe4;
 }
 pre.menu-comment { padding-top: 1.3em; margin: 0; }
 
-
 /* -------------------------------------------------------
-   This will be removed when the pages with an old-style
-   banner and footer are updated to a recent boilerplate. */
+   This will be removed when the last pages with an old-style
+   banner and footer are updated to a recent boilerplate:
+   audio-video.gnu.org/video/*
+*/
 
 /* This restores the normal margin for pages that use #null-wrapper. */
 #null-wrapper { margin: -1em; }
@@ -154,6 +170,7 @@
 }
 #links { display: none; }
 
+#content h1 { font-size: 2.4em; }
 #content h2 { font-size: 2em; }
 
 /* GNU banner */
@@ -233,11 +250,10 @@
 /*--------------------------------------------------------*/
 
 
-/*** RESPONSIVE BEHAVIOR **/
+/*** FOR WIDE SCREENS ***/
 
 @media (min-width: 40em) {
    body { padding: .5em 3em 1em 3em; }
    div.header, div.node { margin: 0 -3em; padding: 0 3em; }
    #null-wrapper { margin: 0 -3em; }
-   #navigation ul { font-size: 1em; }
 }