git.infodrom.org Git - infodrom.org/infocon.infodrom.org/blob - src/infocon.css

   1 /*
   2  * General settings
   3  * --------------------------------------------------
   4  */
   5 body {
   6   font-family: Verdana, Helvetica, Arial, sans-serif;
   7   background-color: #ffffff;
   8   font-size: 13px;
   9   line-height: 110%;
  10 }
  11
  12 /*
  13  * No underline for links
  14  * Nice dark blue values for links
  15  */
  16 a:link {
  17   text-decoration: none;
  18 }
  19 a:visited {
  20   text-decoration: none;
  21 }
  22
  23 div.page {
  24   padding-left: 90px;
  25   padding-right: 90px;
  26   margin-bottom: 2em;
  27 }
  28
  29 h3#pagetitle {
  30   margin: 0;
  31   position: relative;
  32   top: -0.7em;
  33   left: 15px;
  34   border: 1px solid black;
  35   background: white;
  36   padding: 0 0.5em;
  37   padding-bottom: 2px;
  38   padding-top: 1px;
  39   display: inline;
  40 }
  41
  42 div#border {
  43   border: 1px solid #000000;
  44   background-color: #e2e2e2;
  45   margin-left: 3px;
  46 }
  47
  48 div#content {
  49   padding-left: 50px;
  50   padding-right: 30px;
  51   margin-top: -1em;
  52   font-size: 13px;
  53   line-height: 110%;
  54 }
  55
  56 div.date {
  57   text-align: right;
  58   padding-right: 3px;
  59   margin-bottom: 2px;
  60   margin-top: -1em;
  61 }
  62
  63 /*
  64  * Logbook
  65  */
  66 div#logenv {
  67   padding-left: 0%;
  68   padding-right: 0%;
  69   margin-top: 2em;
  70   margin-bottom: 2em;
  71   margin-left: -20px;
  72   margin-right: -5px;
  73 }
  74
  75 h3#logtitle {
  76   padding-left: 1%;
  77 }
  78 h3#logtitle a {
  79   color: black;
  80 }
  81
  82 div#logbody {
  83   border: 1px solid #000000;
  84   background-color: #ffffff;
  85 }
  86
  87 div#logcontent {
  88   padding-left: 1%;
  89   padding-right: 1%;
  90   font-size: normal;
  91 }
  92
  93 div.logfoot {
  94   clear: both;
  95   font-size: small;
  96   margin-left: 0.5em;
  97   margin-right: 0.5em;
  98   margin-bottom: 5px;
  99 }
 100
 101 div.logfootleft {
 102   text-align: left;
 103 }
 104
 105 div.logfootright {
 106   text-align: right;
 107 }
 108
 109 div.soclink {
 110   float: left;
 111   padding: 0px 2px 0px 2px;
 112 }
 113
 114 pre {
 115   border: 1pt solid #cfcfcf;
 116   background-color: #F3F5F7;
 117   padding: 2px;
 118   padding-left: 2px;
 119   font-family: courier, monospace;
 120   white-space: pre;
 121   /* begin css 3 or browser specific rules - do not remove!
 122    * see: http://forums.techguy.org/archive/index.php/t-249849.html
 123    */
 124   white-space: pre-wrap;
 125   word-wrap: break-word;
 126   white-space: -moz-pre-wrap;
 127   white-space: -pre-wrap;
 128   white-space: -o-pre-wrap;
 129   /* end css 3 or browser specific rules */
 130 }
 131
 132 .font {
 133   font-size: small;
 134 }
 135
 136 /*
 137  * Side menu
 138  */
 139 div.vmenu {
 140   font-size: 13px;
 141   font-weight: bold;
 142   padding: 0;
 143   margin-top: 10px;
 144 }
 145 div.vmenu p {
 146   height: 5px;
 147   width: 100%;
 148   background: #5dbbf9;
 149   padding: 0;
 150   margin: 0;
 151 }
 152 div.vmenu ul {
 153   list-style: none;
 154   padding: 0;
 155   margin-top: 10px;
 156   margin-bottom: 10px;
 157 }
 158 div.vmenu ul li a {
 159   display: block;
 160   width: 100%;
 161   text-decoration: none;
 162   text-align: center;
 163   padding: 2px 2px 2px 0.5em;
 164   background-color: #5dbbf9;
 165 }
 166 div.vmenu ul li a#current {
 167   color: #000000;
 168   background-color: #97c9ed;
 169 }
 170 div.vmenu ul li a:hover {
 171   color: #000000;
 172   background-color: #0092f8;
 173 }
 174 div.vmenu ul li a.topic {
 175   background-color: #bfbfbf;
 176   padding-top: 2px;
 177 }
 178 html>body div.vmenu ul li a {
 179   width: auto;
 180 }
 181
 182 /*
 183  * Local variables:
 184  * mode: indented-text
 185  * mode: auto-fill
 186  * End:
 187  */