doc/geiser.css

   1 html {
   2     padding:0px;margin:0px;
   3     background-color:white;
   4     color:black;
   5     font-family:sans-serif;
   6     line-height:160%
   7 }
   8
   9 body {
  10     padding:10px 10% 10px 10%;
  11     margin:0px;
  12     text-align:justify;
  13     /* width: 750px; */
  14 }
  15
  16 a { color:black; weight=normal }
  17 a:hover { color: #a22 }
  18
  19 hr { height:0; color:white }
  20
  21 h2 {
  22     font-size:120%;
  23     text-transform:uppercase
  24 }
  25
  26 h3 {
  27     font-size:100%;
  28     text-transform:uppercase
  29 }
  30
  31 pre.code {
  32     display:block;
  33     padding:0px;
  34     margin-bottom:0px
  35 }
  36
  37 code {
  38     background-color:rgb(250, 250, 250);
  39     border:1px solid rgb(200, 200, 200);
  40     padding-left:4px;
  41     padding-right:4px
  42 }
  43
  44 pre.example {
  45     background-color:rgb(250, 250, 250);
  46     border:1px solid rgb(200, 200, 200);
  47     padding-left:4px;
  48     padding-right:4px;
  49 }
  50
  51 table { width: 100%; }
  52
  53 img {
  54     display:block;
  55     margin:10px auto 10px auto;
  56     border:none
  57 }
  58
  59 img.floatleft {
  60     float: left;
  61     margin: 4px;
  62     padding-right: 1em;
  63 }
  64
  65 img.floatright {
  66     float: right;
  67     margin: 4px;
  68     padding-left: 1em;
  69 }
  70
  71 ul {
  72     list-style-type:square;
  73     padding-left:1em;
  74     margin-left:1em
  75 }
  76
  77 kbd {
  78     font-weight: bold;
  79 }
  80
  81 div.navigation {
  82     background-color: #efebe7;
  83     line-height: 100%;
  84     top-margin: 5px;
  85     padding: 3px;
  86     /* background-color: #000000; */
  87     /* border-top-style: solid; */
  88     /* border-bottom-style: solid; */
  89     /* border-width: 0px; */
  90     /* border-top-width: 4px; */
  91     /* border-color: rgb(200, 200, 200); */
  92 }
  93
  94 div.version {
  95     /* background-color: #efebe7; */
  96     line-height: 100%;
  97     padding: 3px;
  98     margin-right: 3px;
  99     font-size: smaller;
 100     float: right;
 101     font-style: italic;
 102 }
 103
 104 div.version a {
 105     text-decoration: none;
 106 }
 107
 108 .navlink {
 109     text-decoration: none;
 110     /* color: white; */
 111 }
 112
 113 .index-cp {
 114     line-height:120%;
 115     font-size: smaller;
 116 }