Fix header

[infodrom.org/infocon.infodrom.org] / src / infocon.css

diff --git a/src/infocon.css b/src/infocon.css
index 09523cb..57998db 100644 (file)
--- a/src/infocon.css
+++ b/src/infocon.css
@@ -5,6 +5,8 @@
 body {
   font-family: Verdana, Helvetica, Arial, sans-serif;
   background-color: #ffffff;
+  font-size: 12px;
+  line-height: 110%;
 }
 
 /*
@@ -47,8 +49,8 @@ div#content {
   padding-left: 50px;
   padding-right: 30px;
   margin-top: -1em;
-  font-size: 13px;
-  line-height: 20px;
+  font-size: 12px;
+  line-height: 110%;
 }
 
 div.date {
@@ -58,9 +60,146 @@ div.date {
   margin-top: -1em;
 }
 
+/*
+ * Logbook
+ */
+div#logenv {
+  padding-left: 0%;
+  padding-right: 0%;
+  margin-top: 2em;
+  margin-bottom: 2em;
+  margin-left: -20px;
+  margin-right: -5px;
+}
+
+h3#logtitle {
+  padding-left: 1%;
+}
+h3#logtitle a {
+  color: black;
+}
+
+div#logbody {
+  border: 1px solid #000000;
+  background-color: #ffffff;
+}
+
+div#logcontent {
+  padding-left: 1%;
+  padding-right: 1%;
+  font-size: normal;
+}
+
+div.logfoot {
+  clear: both;
+  font-size: small;
+  margin-left: 0.5em;
+  margin-right: 0.5em;
+  margin-bottom: 5px;
+}
+
+div.logfootleft {
+  text-align: left;
+}
+
+div.logfootright {
+  text-align: right;
+}
+
+div.soclink {
+  float: left;
+  padding: 0px 2px 0px 2px;
+}
+
+pre {
+  border: 1pt solid #cfcfcf;
+  background-color: #F3F5F7;
+  padding: 2px;
+  padding-left: 2px;
+  font-family: courier, monospace;
+  white-space: pre;
+  /* begin css 3 or browser specific rules - do not remove!
+   * see: http://forums.techguy.org/archive/index.php/t-249849.html
+   */
+  white-space: pre-wrap;
+  word-wrap: break-word;
+  white-space: -moz-pre-wrap;
+  white-space: -pre-wrap;
+  white-space: -o-pre-wrap;
+  /* end css 3 or browser specific rules */
+}
+
+p.img img {
+  display: block;
+  margin-left: auto;
+  margin-right: auto;
+  border: 1px solid #cfcfcf;
+}
+
+.font {
+  font-size: small;
+}
+
+/*
+ * Side menu
+ */
+div.vmenu {
+  font-size: 12px;
+  font-weight: bold;
+  padding: 0;
+  margin-top: 10px;
+}
+div.vmenu p {
+  height: 5px;
+  width: 100%;
+  background: #5dbbf9;
+  padding: 0;
+  margin: 0;
+}
+div.vmenu ul {
+  list-style: none;
+  padding: 0;
+  margin-top: 10px;
+  margin-bottom: 10px;
+}
+div.vmenu ul li a {
+  display: block;
+  width: 100%;
+  text-decoration: none;
+  text-align: center;
+  padding: 2px 2px 2px 0.5em;
+  background-color: #5dbbf9;
+}
+div.vmenu ul li a#current {
+  color: #000000;
+  background-color: #97c9ed;
+}
+div.vmenu ul li a:hover {
+  color: #000000;
+  background-color: #0092f8;
+}
+div.vmenu ul li a.topic {
+  background-color: #bfbfbf;
+  padding-top: 2px;
+}
+html>body div.vmenu ul li a {
+  width: auto;
+}
+
+table.teachings {
+  font-size: inherit;
+  border: 1px solid #aaa;
+}
+table.teachings tbody tr:nth-child(even) {
+  background: #d0d0d0;
+}
+table.teachings tbody tr:nth-child(odd) {
+  background: #eeeeee;
+}
+
 /*
  * Local variables:
  * mode: indented-text
  * mode: auto-fill
  * End:
-*/
+ */