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  * Side menu
  65  */
  66 div.vmenu {
  67   font-size: 13px;
  68   font-weight: bold;
  69   padding: 0;
  70   margin-top: 10px;
  71 }
  72 div.vmenu p {
  73   height: 5px;
  74   width: 100%;
  75   background: #5dbbf9;
  76   padding: 0;
  77   margin: 0;
  78 }
  79 div.vmenu ul {
  80   list-style: none;
  81   padding: 0;
  82   margin-top: 10px;
  83   margin-bottom: 10px;
  84 }
  85 div.vmenu ul li a {
  86   display: block;
  87   width: 100%;
  88   text-decoration: none;
  89   text-align: center;
  90   padding: 2px 2px 2px 0.5em;
  91   background-color: #5dbbf9;
  92 }
  93 div.vmenu ul li a#current {
  94   color: #000000;
  95   background-color: #97c9ed;
  96 }
  97 div.vmenu ul li a:hover {
  98   color: #000000;
  99   background-color: #0092f8;
 100 }
 101 div.vmenu ul li a.topic {
 102   background-color: #bfbfbf;
 103   padding-top: 2px;
 104 }
 105 html>body div.vmenu ul li a {
 106   width: auto;
 107 }
 108
 109 /*
 110  * Local variables:
 111  * mode: indented-text
 112  * mode: auto-fill
 113  * End:
 114  */