diff options
Diffstat (limited to 'dox/doxygen.css')
| -rw-r--r-- | dox/doxygen.css | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/dox/doxygen.css b/dox/doxygen.css deleted file mode 100644 index 6344cd1..0000000 --- a/dox/doxygen.css +++ /dev/null @@ -1,56 +0,0 @@ -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 |