1 files changed, 168 insertions, 0 deletions
diff --git a/htdocs/style.css b/htdocs/style.css
new file mode 100644
index 0000000..01fd43a
--- a/dev/null
+++ b/htdocs/style.css
@@ -0,0 +1,168 @@
+body {
+ font-family: sans-serif;
+ font-size: 11pt;
+}
+
+a {
+ text-decoration: none;
+}
+a:hover {
+ text-decoration: underline;
+}
+p {
+ margin: 1ex 1em;
+ text-indent: 2em;
+ text-align: justify;
+}
+p.note {
+ margin-left: 10%;
+ border-width: 1px 1px 1px 6px;
+ border-color: gray gray gray #0000a0;
+ border-style: solid solid solid double;
+ padding: 1ex 1ex 1ex 2em;
+ font-size: 80%;
+ background: #c0c0e0;
+ color: #202020;
+}
+code {
+ color: #d04040;
+}
+em {
+ white-space: nowrap;
+}
+
+div.google_ad {
+ text-align: center;
+ margin: 1ex;
+}
+div.google_ad.top {
+ padding-bottom: 1ex;
+ border-bottom: 1px gray solid;
+}
+div.google_ad.bottom {
+ padding-top: 1ex;
+ border-top: 1px gray solid;
+}
+
+div#sidepanel {
+ position: absolute; top: 0px; left: 0px;
+ margin: 0px;
+ width: 20%;
+ font-size: 80%;
+}
+div#content {
+ position: absolute; top: 0px; right: -0px;
+ margin: 0px;
+ width: 80%;
+}
+
+div#sidepanel h1 {
+ font-size: 80%;
+ text-align: center;
+ font-weight: normal;
+ color: #004080;
+ white-space: nowrap;
+ margin-top: 2ex; margin-bottom: 2ex;
+}
+div#sidepanel ul {
+ padding: 1ex 0.5ex 1ex 1ex;
+ margin: 0.5ex;
+ border-color: #c0c0c0 #404040 #404040 #c0c0c0;
+ border-width: 1px 2px 2px 1px;
+ border-style: solid;
+ background: #d0d0d0;
+ list-style-type: none;
+}
+div#sidepanel ul ul {
+ margin: 0px; padding: 0px;
+ border: none 0px;
+}
+div#sidepanel li {
+ list-style-type: none;
+ margin: 0px; padding: 0px;
+ display: block;
+}
+div#sidepanel ul a {
+ display: block;
+ padding: 1px 1ex;
+ margin: 0.5ex;
+ border: 1px solid gray;
+ text-decoration: none;
+ background: white;
+ color: black;
+}
+div#sidepanel ul a:hover {
+ background: gray;
+ color: white;
+}
+div#sidepanel ul ul a {
+ padding-left: 2.5ex;
+ background: #e0e0e0;
+}
+div#sidepanel div.copyright {
+ text-align: center;
+}
+
+div#content h1 {
+ font-size: 140%;
+ color: gray;
+ font-weight: bold;
+ text-align: center;
+ margin: 1em;
+}
+
+div.insert {
+ text-align: center;
+}
+iframe#insert {
+ border: 1px solid black;
+}
+
+div.source h1 {
+ background: #e0e0e0;
+ border: 1px solid #808080;
+ padding-left: 1em;
+ margin: 0px;
+ font-size: 100%;
+ color: #000060;
+ overflow: hidden;
+}
+div.source ul {
+ background: #80c0c0;
+ margin: 0px;
+ padding: 1px 0.5ex;
+ font-family: monospace;
+ font-size: 80%;
+ overflow: hidden;
+}
+div.source li {
+ list-style-type: none;
+ white-space: nowrap;
+}
+
+ul.sourcebrowser {
+ font-size: 70%;
+}
+ul.sourcebrowser ul.dir {
+ padding: 1px 0px 2px 1em;
+ margin: 1px 0px 1px 0px;
+}
+ul.sourcebrowser li.dir {
+ margin: 1px 0px 1px 0px;
+}
+ul.sourcebrowser li.file {
+ list-style-type: none;
+ white-space: nowrap;
+ display: inline;
+}
+ul.sourcebrowser li.file a {
+ border: 1px solid gray;
+ padding: 1px 0.5ex;
+ text-decoration: none;
+ font-family: monospace;
+}
+ul.sourcebrowser li.file a:hover {
+ background: gray;
+ border: 1px solid black;
+ color: white;
+}