diff options
| author | scuri <scuri> | 2008-10-17 06:10:15 +0000 |
|---|---|---|
| committer | scuri <scuri> | 2008-10-17 06:10:15 +0000 |
| commit | 5a422aba704c375a307a902bafe658342e209906 (patch) | |
| tree | 5005011e086bb863d8fb587ad3319bbec59b2447 /dox/doxygen.css | |
First commit - moving from LuaForge to SourceForge
Diffstat (limited to 'dox/doxygen.css')
| -rw-r--r-- | dox/doxygen.css | 56 |
1 files changed, 56 insertions, 0 deletions
diff --git a/dox/doxygen.css b/dox/doxygen.css new file mode 100644 index 0000000..6344cd1 --- /dev/null +++ b/dox/doxygen.css @@ -0,0 +1,56 @@ +P { font-size: 11pt; font-family: helvetica, sans-serif; margin-left:20 } +H1 { font-size: 24pt; color: #006699; font-family: sans-serif; text-align: center } +H2 { font-family: sans-serif; } +H3 { font-size: 18pt; color: #006699; font-family: sans-serif; } +CAPTION { font-weight: bold } +A.qindex {font-family: helvetica, sans-serif;} +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: #e0e0ff } +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 } +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.md +{ + font-weight: bold; + background-color: #e0e0ff; +} +TD.mdname1 { background-color: #e0e0ff; font-weight: bold; color: #602020; } +TD.mdname { background-color: #e0e0ff; font-weight: bold; color: #602020; width: 600px; } +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 +} +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 }
\ No newline at end of file |