Commits

Fred Drake committed bbe63a8

Update to CSS from trunk revision 1.35.

Comments (0)

Files changed (1)

Doc/html/style.css

 h1                      { font-size: 180%; }
 h2                      { font-size: 150%; }
 h3, h4                  { font-size: 120%; }
-code, tt                { font-family: lucida typewriter, lucidatypewriter,
+
+/* LaTeX2HTML insists on inserting <br> elements into headers which
+ * are marked with \label.  This little bit of CSS magic ensures that
+ * these elements don't cause spurious whitespace to be added.
+ */
+h1>br, h2>br, h3>br,
+h4>br, h5>br, h6>br     { display: none; }
+
+code, tt                { font-family: "lucida typewriter", lucidatypewriter,
                                        monospace; }
 var                     { font-family: times, serif;
                           font-style: italic;
 
 div.warning             { background-color: #fffaf0;
                           border: thin solid black;
-                          padding: 0.5em;
+                          padding: 1em;
                           margin-left: 2em;
                           margin-right: 2em; }
 
 
 div.note                { background-color: #fffaf0;
                           border: thin solid black;
-                          padding: 0.5em;
+                          padding: 1em;
                           margin-left: 2em;
                           margin-right: 2em; }
 
 .titlegraphic           { vertical-align: top; }
 
 .verbatim pre           { color: #00008b;
-                          font-family: lucida typewriter, lucidatypewriter,
+                          font-family: "lucida typewriter", lucidatypewriter,
                                        monospace;
                           font-size: 90%; }
 .verbatim               { margin-left: 2em; }
  */
 .seealso                { background-color: #fffaf0;
                           border: thin solid black;
-                          padding: 4pt; }
+                          padding: 0pt 1em 4pt 1em; }
 
 .seealso .heading       { font-size: 110%; }
 
  * the top of modules.
  */
 .availability .platform { font-weight: bold; }
+
+
+/*
+ * Some specialization for printed output.
+ */
+@media print {
+  .online-navigation    { display: none; }
+  }