mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-29 11:35:14 +08:00
664ce87016
2002-11-21 Phil Edwards <pme@gcc.gnu.org> * docs/doxygen/style.css: Update. * docs/doxygen/user.cfg.in: Update. * docs/html/documentation.html: Regenerate. * docs/html/17_intro/howto.html: Tweak I/O sentry entry. * docs/html/27_io/howto.html: New section on headers. * docs/html/faq/index.html: Add i386 threading entry. * docs/html/faq/index.txt: Regenerate. * docs/html/ext/lwg-active.html, docs/html/ext/lwg-defects.html: Import R23. From-SVN: r59326
50 lines
1.8 KiB
CSS
50 lines
1.8 KiB
CSS
H1 { text-align: center; }
|
|
CAPTION { font-weight: bold }
|
|
A.qindex {}
|
|
A.qindexRef {}
|
|
A.el { text-decoration: none; font-weight: bold }
|
|
A.elRef { font-weight: bold }
|
|
A.code { text-decoration: none; font-weight: normal; color: #4444ee }
|
|
A.codeRef { font-weight: normal; color: #4444ee }
|
|
A:hover { text-decoration: none; background-color: #f2f2ff }
|
|
DL.el { margin-left: -1cm }
|
|
DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
|
|
DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
|
|
TD.md { background-color: #f2f2ff; font-weight: bold; }
|
|
TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
|
|
TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
|
|
DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
|
|
DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
|
|
BODY { background: white }
|
|
TD.indexkey {
|
|
background-color: #eeeeff;
|
|
font-weight: bold;
|
|
padding-right : 10px;
|
|
padding-top : 2px;
|
|
padding-left : 10px;
|
|
padding-bottom : 2px;
|
|
margin-left : 0px;
|
|
margin-right : 0px;
|
|
margin-top : 2px;
|
|
margin-bottom : 2px
|
|
}
|
|
TD.indexvalue {
|
|
background-color: #eeeeff;
|
|
font-style: italic;
|
|
padding-right : 10px;
|
|
padding-top : 2px;
|
|
padding-left : 10px;
|
|
padding-bottom : 2px;
|
|
margin-left : 0px;
|
|
margin-right : 0px;
|
|
margin-top : 2px;
|
|
margin-bottom : 2px
|
|
}
|
|
span.keyword { color: #008000 }
|
|
span.keywordtype { color: #604020 }
|
|
span.keywordflow { color: #e08000 }
|
|
span.comment { color: #800000 }
|
|
span.preprocessor { color: #806020 }
|
|
span.stringliteral { color: #002080 }
|
|
span.charliteral { color: #008080 }
|