doc/crypto.in/crypto.css

   1 body {
   2         width: 100%;
   3         background-color: #fff;
   4         font: normal 90% Arial, Helvetica, Verdana;
   5         color: #454545;
   6         margin-top: 0;
   7         margin-left: 0;
   8         margin-right: 0;
   9 }
  10
  11 #logo {
  12         font-size: 100%;
  13         background-color: #eeeeee;
  14         height: 46px;
  15         margin-top: 0;
  16         border-bottom: 1px solid #cacaca;
  17 }
  18
  19 #logo a {
  20         color: #9f7e40;
  21         text-decoration: none;
  22 }
  23
  24 #logo a:hover, #logo a:active {
  25         color: #afaf77;
  26 }
  27
  28 #contentwrapper {
  29         float: left;
  30         width: 100%;
  31 }
  32
  33 #content {
  34         font-size: 100%;
  35         padding: 5px 5px 2px 10px;
  36         margin-right: 245px;
  37         border-right: 1px dotted #cacaca;
  38 }
  39
  40 /* The content margin-right is 245 px.  To get navigation's dotted border
  41    to same position as contents dotted border we have width 231 + right
  42    border padding 4 + left border padding 10 == 245 px. */
  43 #navigation {
  44         border-left: 1px dotted #cacaca;
  45         width: 231px;
  46         min-height: 590px;
  47         position: relative;
  48         float: right;
  49         padding: 5px 4px 2px 10px;
  50 }
  51
  52 #footer {
  53         background-color: #eeeeee;
  54         clear: left;
  55         width: 100%;
  56         font-size: 100%;
  57         border-top: 1px solid #cacaca;
  58 }
  59
  60 #footer a {
  61         color: #9f7e40;
  62         text-decoration: none;
  63 }
  64
  65 #footer a:hover, #footer a:active {
  66         color: #afaf77;
  67 }
  68
  69 pre {
  70         font-family: monospace;
  71         margin: 12px;
  72         padding: 5px;
  73         white-space: pre;
  74         color: #000;
  75 }
  76
  77 pre.source {
  78         background-color: #ffe;
  79         border: dashed #aa9 1px;
  80 }
  81
  82 p {
  83         margin: 15px;
  84 }
  85
  86 p.item_name  {
  87         font-weight: bolder;
  88         margin: 5px;
  89         font-size: 110%;
  90 }
  91
  92 ul.toc_entries {
  93         list-style-image: url(./arrow.png);
  94 }
  95
  96 a.menuitem {
  97         font-size: 90%;
  98         color: #9f7e40;
  99         padding: 4px 1px 1px 5px;
 100         background: url(./arrow.png) no-repeat center left;
 101         text-align: left;
 102         padding-left: 20px;
 103 }
 104
 105
 106 #extra, #extra a
 107 {
 108 }
 109
 110 #content a {
 111         color: #9f7e40;
 112         text-decoration: none;
 113 }
 114
 115 #content a:hover, #content a:active {
 116         color: #afaf77;
 117 }
 118
 119 a.indexitem {
 120         display: block;
 121 }
 122
 123 h1
 124 {
 125         font-size: 220%;
 126         margin-top: 0px;
 127 }
 128
 129 h2
 130 {
 131         font-size: 180%;
 132         margin-top: 0px;
 133 }
 134
 135 h3
 136 {
 137         font-size: 133%;
 138         margin-top: 0px;
 139 }
 140
 141 h4
 142 {
 143         font-size: 124%;
 144         margin-top: 0px;
 145 }
 146
 147 h5
 148 {
 149         font-size: 115%;
 150         margin-top: 0px;
 151 }
 152
 153 h6
 154 {
 155         font-size: 106%;
 156         margin-top: 0px;
 157 }
 158
 159 #navigation a {
 160         text-decoration: none;
 161 }
 162
 163 .menuitem:hover {
 164         color: #afaf77;
 165         text-decoration: none;
 166 }
 167
 168 #extra a
 169 {
 170     text-decoration: none;
 171 }
 172
 173 #logo a
 174 {
 175     text-decoration: none;
 176 }
 177
 178 #extra a:hover
 179 {
 180 }
 181
 182
 183 .menuitem       {width: auto;}
 184 #content        {width: auto;}
 185 .menuitem       {display: block;}
 186
 187 span.keyword
 188 {
 189     color: #00F;
 190 }
 191
 192 span.comment
 193 {
 194     color: #080;
 195 }
 196
 197 span.quote
 198 {
 199     color: #F00;
 200 }
 201
 202 span.squote
 203 {
 204     color: #F0F;
 205 }
 206
 207 span.sign
 208 {
 209     color: #008B8B;
 210 }
 211
 212
 213 @media print
 214 {
 215     #navigation {display: none;}
 216     #content    {padding: 0px;}
 217     #content a  {text-decoration: underline;}
 218 }