diff options
Diffstat (limited to 'extras/source/misc_config/wizard/web/styles/forest.css')
-rw-r--r-- | extras/source/misc_config/wizard/web/styles/forest.css | 79 |
1 files changed, 0 insertions, 79 deletions
diff --git a/extras/source/misc_config/wizard/web/styles/forest.css b/extras/source/misc_config/wizard/web/styles/forest.css deleted file mode 100644 index 720cf39f..00000000 --- a/extras/source/misc_config/wizard/web/styles/forest.css +++ /dev/null @@ -1,79 +0,0 @@ -.doctitle { - font-family: "Times New Roman", Times, serif; - font-size: 14px; - color: #FFFFFF; - font-weight: bold; -} -.docdescription { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - font-style: italic; - color: #FFFFFF; -} -.docauthor { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - font-style: italic; - color: #FFFFFF; -} -.doccreationdate { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - color: #FFFFFF; -} -.doclastchangeddate { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - color: #FF0000; -} -.docfilename { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - color: #FFFFFF; -} -.docfileformatinfo { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - font-style: italic; - color: #FFFFFF; -} -.docnumberofpages { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - color: #FFFFFF; -} -.docsizeinkb { - font-family: "Times New Roman", Times, serif; - font-size: 12px; - color: #FFFFFF; -} -body { - background-color: #999999; - background-image: url(images/background.gif); -} -.toctitle { - font-family: "Times New Roman", Times, serif; - font-size: 20px; - font-style: normal; - font-weight: bold; - color: #FFFFFF; - background-color: #663300; -} -.tcolor { - background-color: #006633; -} -.ccolor { - background-color: #003300; -} -a:link { - font-family: "Times New Roman", Times, serif; - color: #EEEEEE; -} -a:visited { - font-family: "Times New Roman", Times, serif; - color: #CCCCCC; -} -a:active { - font-family: "Times New Roman", Times, serif; - color: #FF0000; -} |