diff options
| author | Phil Edwards <pme@gcc.gnu.org> | 2001-04-29 01:40:34 +0000 |
|---|---|---|
| committer | Phil Edwards <pme@gcc.gnu.org> | 2001-04-29 01:40:34 +0000 |
| commit | fb75f5eb713109a24c4b91f42b1d7d0d60640c01 (patch) | |
| tree | cf2441180086054b1d89cfe9811de64cddcecf4a /libstdc++-v3/docs/doxygen/style.css | |
| parent | 28df0b5ae3b6d7905de50fad4b5091dc7eb695a3 (diff) | |
| download | gcc-fb75f5eb713109a24c4b91f42b1d7d0d60640c01.zip gcc-fb75f5eb713109a24c4b91f42b1d7d0d60640c01.tar.gz gcc-fb75f5eb713109a24c4b91f42b1d7d0d60640c01.tar.bz2 | |
run_doxygen: Minor tweaks.
2001-04-28 Phil Edwards <pme@sources.redhat.com>
* docs/doxygen/run_doxygen: Minor tweaks.
* docs/doxygen/style.css: New file.
* docs/doxygen/user.cfg.in: Update using "doxygen -u" to get the
latest parameters available. Use style.css.
From-SVN: r41668
Diffstat (limited to 'libstdc++-v3/docs/doxygen/style.css')
| -rw-r--r-- | libstdc++-v3/docs/doxygen/style.css | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/libstdc++-v3/docs/doxygen/style.css b/libstdc++-v3/docs/doxygen/style.css new file mode 100644 index 0000000..7f8e5b8 --- /dev/null +++ b/libstdc++-v3/docs/doxygen/style.css @@ -0,0 +1,20 @@ +H1 { text-align: center; } +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 } +DL.el { margin-left: -1cm } +DIV.fragment { width: 100%; border: none; background-color: #eeeeee } +DIV.ah { background-color: black; margin-bottom: 3; margin-top: 3 } +TD.md { background-color: #f2f2ff } +DIV.groupHeader { margin-left: 16; margin-top: 12; margin-bottom: 6; font-weight: bold } +DIV.groupText { margin-left: 16; font-style: italic; font-size: smaller } +FONT.keyword { color: #008000 } +FONT.keywordtype { color: #604020 } +FONT.keywordflow { color: #e08000 } +FONT.comment { color: #800000 } +FONT.preprocessor { color: #806020 } +FONT.stringliteral { color: #002080 } +FONT.charliteral { color: #008080 } |