summaryrefslogtreecommitdiff
path: root/html/style.css
diff options
context:
space:
mode:
authorscuri <scuri>2008-10-17 06:10:15 +0000
committerscuri <scuri>2008-10-17 06:10:15 +0000
commit5a422aba704c375a307a902bafe658342e209906 (patch)
tree5005011e086bb863d8fb587ad3319bbec59b2447 /html/style.css
First commit - moving from LuaForge to SourceForge
Diffstat (limited to 'html/style.css')
-rw-r--r--html/style.css93
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;
+ }