diff options
Diffstat (limited to 'html/style.css')
-rw-r--r-- | html/style.css | 93 |
1 files changed, 93 insertions, 0 deletions
diff --git a/html/style.css b/html/style.css new file mode 100644 index 0000000..a3b6617 --- /dev/null +++ b/html/style.css @@ -0,0 +1,93 @@ + body { + margin-left: 1em; + margin-right: 1em; + font-family: tahoma, verdana, arial, helvetica, geneva, sans-serif; + background-color:#ffffff; + } + p { + margin-left: 1em; + line-height: 130%; + } + h2 { + color: #3366CC; + } + h3 { + padding: 4px; + background-color: #E1E1E1; + border: 1px solid #808080; + color: #5C5C5C; + } + pre { + background-color: #CEE7FF; + border: 1px solid #62A0FF; + padding: 10px; + font-family: 'Monotype.com', "Courier New", Courier, monospace; + font-size: 90%; + line-height: 125%; + margin-left: 3em; + margin-right: 3em; + } + p.info { + margin-left: 3em; + } + ul { + margin-left: 2em; + } + h4 { + background-color: #E1E1E1; + padding: 3px; + margin-right: 2em; + margin-left: 2em; + } + h1 { + text-align: center; + } + .homeTitle { + font-family: Arial, Helvetica, sans-serif; + font-size: 36pt; + font-weight: bold; + color: #003399; + text-align: center; + } + .homeDescription { + font-family: Arial, Helvetica, sans-serif; + font-size: 20pt; + color: #003399; + text-align: center; + } + .homeVersion { + margin: 10px; + font-family: Arial, Helvetica, sans-serif; + font-size: 16pt; + color: #003399; + text-align: center; + } + #navigation { + position: fixed; + top: 0; + right: 0; + background-color: #E1E1E1; + } + #navigation ul { + list-style-type: none; + margin: 0; + padding: 0; + } + #navigation li { + float: left; + } + #navigation a { + color: #5C5C5C; + text-decoration: none; + display: block; + padding: 3px; + border: 1px solid #808080; + background-color: #E1E1E1; + font-size: small; + } + #navigation a:hover { + color: #E1E1E1; + text-decoration: none; + border: 1px solid #808080; + background-color: #5C5C5C; + } |