Update the documentation CSS stylesheet to current web site style

diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css
index 3debb2bbb6c74f9ec7ad41bb505ca0c8a83b9156..b54de4314ff1a71ce90dc4d26c6974760fbcf5aa 100644 (file)
--- a/doc/src/sgml/stylesheet.css
+++ b/doc/src/sgml/stylesheet.css
@@ -1,32 +1,62 @@
-/* $PostgreSQL: pgsql/doc/src/sgml/stylesheet.css,v 1.7 2004/06/29 20:44:34 petere Exp $ */
+/* $PostgreSQL: pgsql/doc/src/sgml/stylesheet.css,v 1.8 2009/08/26 13:56:24 petere Exp $ */
 
 /* color scheme similar to www.postgresql.org */
 
 BODY {
        color: #000000;
        background: #FFFFFF;
+       font-family: verdana, sans-serif;
 }
 
-A:link         { color: #000066; }
-A:visited      { color: #000099; }
-A:active       { color: #FF0000; }
+A:link         { color:#0066A2; }
+A:visited      { color:#004E66; }
+A:active       { color:#0066A2; }
+A:hover                { color:#000000; }
+
+H1 {
+       font-size: 1.4em;
+       font-weight: bold;
+       margin-top: 0em;
+       margin-bottom: 0em;
+       color: #EC5800;
+}
 
-/* center titles */
+H2 {
+       font-size: 1.2em;
+       margin: 1.2em 0em 1.2em 0em;
+       font-weight: bold;
+       color: #666; 
+}
 
-BODY.BOOK H1.TITLE, BODY.SET H1.TITLE {
-       text-align: center;
-       font-size: 250%;
-       font-family: sans-serif;
-       color: #020167;
+H3 {
+       font-size: 1.1em;
+       margin: 1.2em 0em 1.2em 0em;
+       font-weight: bold;
+       color: #666;
 }
 
-BODY.BOOK H3.CORPAUTHOR, BODY.SET H3.CORPAUTHOR {
-       text-align: center;
-       font-style: italic;
+H4 {
+       font-size: 0.95em;
+       margin: 1.2em 0em 1.2em 0em;
        font-weight: normal;
+       color: #666;
 }
 
-BODY.BOOK .COPYRIGHT, BODY.SET .COPYRIGHT {
+H5 {
+       font-size: 0.9em;
+       margin: 1.2em 0em 1.2em 0em;
+       font-weight: normal;
+}
+
+H6 {
+       font-size: 0.85em;
+       margin: 1.2em 0em 1.2em 0em;
+       font-weight: normal;
+}
+
+/* center some titles */
+
+.TITLEPAGE {
        text-align: center;
 }
 
@@ -43,23 +73,22 @@ DIV.EXAMPLE {
 
 /* less dense spacing of TOC */
 
-.SET .TOC DL DT, .BOOK .TOC DL DT {
+.BOOK .TOC DL DT {
        padding-top: 1.5ex;
        padding-bottom: 1.5ex;
 }
 
-.SET .TOC DL DL DT, .BOOK .TOC DL DL DT {
+.BOOK .TOC DL DL DT {
        padding-top: 0ex;
        padding-bottom: 0ex;
 }
 
+/* miscellaneous */
+
 .SCREEN, .SYNOPSIS, .PROGRAMLISTING {
        margin-left: 4ex;
 }
 
-/* miscellaneous */
-
-.NAVHEADER TH  { font-style: italic; }
 .COMMENT       { color: red; }
 
 VAR            { font-family: monospace; font-style: italic; }