1
0
mirror of https://github.com/postgres/postgres.git synced 2025-04-24 10:47:04 +03:00

Uppercase class selectors, to work with browsers that follow the standards.

This commit is contained in:
Peter Eisentraut 2002-03-11 05:02:04 +00:00
parent 29731df471
commit 414550f438

View File

@ -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 */ /* color scheme similar to www.postgresql.org */
@ -13,26 +13,26 @@ A:active { color: #FF0000; }
/* center titles */ /* center titles */
BODY.book H1.title, BODY.set H1.title { BODY.BOOK H1.TITLE, BODY.SET H1.TITLE {
text-align: center; text-align: center;
font-size: 250%; font-size: 250%;
font-family: sans-serif; font-family: sans-serif;
color: #020167; color: #020167;
} }
BODY.book H3.corpauthor, BODY.set H3.corpauthor { BODY.BOOK H3.CORPAUTHOR, BODY.SET H3.CORPAUTHOR {
text-align: center; text-align: center;
font-style: italic; font-style: italic;
font-weight: normal; font-weight: normal;
} }
BODY.book .copyright, BODY.set .copyright { BODY.BOOK .COPYRIGHT, BODY.SET .COPYRIGHT {
text-align: center; text-align: center;
} }
/* decoration for formal examples */ /* decoration for formal examples */
DIV.example { DIV.EXAMPLE {
padding-left: 15px; padding-left: 15px;
border-style: solid; border-style: solid;
border-width: 0px; border-width: 0px;
@ -43,17 +43,17 @@ DIV.example {
/* less dense spacing of TOC */ /* 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-top: 1.5ex;
padding-bottom: 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-top: 0ex;
padding-bottom: 0ex; padding-bottom: 0ex;
} }
/* miscellaneous */ /* miscellaneous */
.navheader TH { font-style: italic; } .NAVHEADER TH { font-style: italic; }
.comment { color: red; } .COMMENT { color: red; }