diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2002-03-11 05:02:04 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2002-03-11 05:02:04 +0000 |
| commit | 414550f438fc8f15841cb20c3fa19679f7aed288 (patch) | |
| tree | 1e2846c3626a77ba900e1816d53c89794a18f924 | |
| parent | 29731df47113c5a600cf6ea089b4a3576d49e7f2 (diff) | |
| download | postgresql-414550f438fc8f15841cb20c3fa19679f7aed288.tar.gz postgresql-414550f438fc8f15841cb20c3fa19679f7aed288.zip | |
Uppercase class selectors, to work with browsers that follow the standards.
| -rw-r--r-- | doc/src/sgml/stylesheet.css | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css index d792db77007..2dacf601323 100644 --- a/doc/src/sgml/stylesheet.css +++ b/doc/src/sgml/stylesheet.css @@ -1,4 +1,4 @@ -/* $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.css,v 1.2 2001/09/15 00:48:59 petere Exp $ */ +/* $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.css,v 1.3 2002/03/11 05:02:04 petere Exp $ */ /* color scheme similar to www.postgresql.org */ @@ -13,26 +13,26 @@ A:active { color: #FF0000; } /* center titles */ -BODY.book H1.title, BODY.set H1.title { +BODY.BOOK H1.TITLE, BODY.SET H1.TITLE { text-align: center; font-size: 250%; font-family: sans-serif; color: #020167; } -BODY.book H3.corpauthor, BODY.set H3.corpauthor { +BODY.BOOK H3.CORPAUTHOR, BODY.SET H3.CORPAUTHOR { text-align: center; font-style: italic; font-weight: normal; } -BODY.book .copyright, BODY.set .copyright { +BODY.BOOK .COPYRIGHT, BODY.SET .COPYRIGHT { text-align: center; } /* decoration for formal examples */ -DIV.example { +DIV.EXAMPLE { padding-left: 15px; border-style: solid; border-width: 0px; @@ -43,17 +43,17 @@ DIV.example { /* less dense spacing of TOC */ -.set .toc DL DT, .book .toc DL DT { +.SET .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 { +.SET .TOC DL DL DT, .BOOK .TOC DL DL DT { padding-top: 0ex; padding-bottom: 0ex; } /* miscellaneous */ -.navheader TH { font-style: italic; } -.comment { color: red; } +.NAVHEADER TH { font-style: italic; } +.COMMENT { color: red; } |