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 p.img img {
 133   display: block;
 134   margin-left: auto;
 135   margin-right: auto;
 136   border: 1px solid #cfcfcf;
 137 }
 138
 139 .font {
 140   font-size: small;
 141 }
 142
 143 /*
 144  * Side menu
 145  */
 146 div.vmenu {
 147   font-size: 13px;
 148   font-weight: bold;
 149   padding: 0;
 150   margin-top: 10px;
 151 }
 152 div.vmenu p {
 153   height: 5px;
 154   width: 100%;
 155   background: #5dbbf9;
 156   padding: 0;
 157   margin: 0;
 158 }
 159 div.vmenu ul {
 160   list-style: none;
 161   padding: 0;
 162   margin-top: 10px;
 163   margin-bottom: 10px;
 164 }
 165 div.vmenu ul li a {
 166   display: block;
 167   width: 100%;
 168   text-decoration: none;
 169   text-align: center;
 170   padding: 2px 2px 2px 0.5em;
 171   background-color: #5dbbf9;
 172 }
 173 div.vmenu ul li a#current {
 174   color: #000000;
 175   background-color: #97c9ed;
 176 }
 177 div.vmenu ul li a:hover {
 178   color: #000000;
 179   background-color: #0092f8;
 180 }
 181 div.vmenu ul li a.topic {
 182   background-color: #bfbfbf;
 183   padding-top: 2px;
 184 }
 185 html>body div.vmenu ul li a {
 186   width: auto;
 187 }
 188
 189 /*
 190  * Local variables:
 191  * mode: indented-text
 192  * mode: auto-fill
 193  * End:
 194  */