doc/bluequad.css

   1 /* Copyright (C) 2004-2023 Mike Pall.
   2  *
   3  * You are welcome to use the general ideas of this design for your own sites.
   4  * But please do not steal the stylesheet, the layout or the color scheme.
   5  */
   6 /* colorscheme:
   7  *
   8  * site  |  head   #4162bf/white   | #6078bf/#e6ecff
   9  * ------+------   ----------------+-------------------
  10  * nav   |  main   #bfcfff         | #e6ecff/black
  11  *
  12  * nav:  hiback   loback     #c5d5ff #b9c9f9
  13  *       hiborder loborder   #e6ecff #97a7d7
  14  *       link     hover      #2142bf #ff0000
  15  *
  16  * link: link visited hover  #2142bf #8122bf #ff0000
  17  *
  18  * main: boxback  boxborder  #f0f4ff #bfcfff
  19  */
  20 body {
  21   font-family: Verdana, Arial, Helvetica, sans-serif;
  22   font-size: 10pt;
  23   margin: 0;
  24   padding: 0;
  25   border: none;
  26   background: #e0e0e0;
  27   color: #000000;
  28 }
  29 a:link {
  30   text-decoration: none;
  31   background: transparent;
  32   color: #2142bf;
  33 }
  34 a:visited {
  35   text-decoration: none;
  36   background: transparent;
  37   color: #8122bf;
  38 }
  39 a:hover, a:active {
  40   text-decoration: underline;
  41   background: transparent;
  42   color: #ff0000;
  43 }
  44 h1, h2, h3 {
  45   font-weight: bold;
  46   text-align: left;
  47   margin: 0.5em 0;
  48   padding: 0;
  49   background: transparent;
  50 }
  51 h1 {
  52   font-size: 200%;
  53   line-height: 3em; /* really 6em relative to body, match #site span */
  54   margin: 0;
  55 }
  56 h2 {
  57   font-size: 150%;
  58   color: #606060;
  59 }
  60 h3 {
  61   font-size: 125%;
  62   color: #404040;
  63 }
  64 p {
  65   max-width: 600px;
  66   margin: 0 0 0.5em 0;
  67   padding: 0;
  68 }
  69 b {
  70   color: #404040;
  71 }
  72 ul, ol {
  73   max-width: 600px;
  74   margin: 0.5em 0;
  75   padding: 0 0 0 2em;
  76 }
  77 ul {
  78   list-style: outside square;
  79 }
  80 ol {
  81   list-style: outside decimal;
  82 }
  83 li {
  84   margin: 0;
  85   padding: 0;
  86 }
  87 dl {
  88   max-width: 600px;
  89   margin: 1em 0;
  90   padding: 1em;
  91   border: 1px solid #bfcfff;
  92   background: #f0f4ff;
  93 }
  94 dt {
  95   font-weight: bold;
  96   margin: 0;
  97   padding: 0;
  98 }
  99 dt sup {
 100   float: right;
 101   margin-left: 1em;
 102   color: #808080;
 103 }
 104 dt a:visited {
 105   text-decoration: none;
 106   color: #2142bf;
 107 }
 108 dt a:hover, dt a:active {
 109   text-decoration: none;
 110   color: #ff0000;
 111 }
 112 dd {
 113   margin: 0.5em 0 0 2em;
 114   padding: 0;
 115 }
 116 div.tablewrap { /* for IE *sigh* */
 117   max-width: 600px;
 118 }
 119 table {
 120   table-layout: fixed;
 121   border-spacing: 0;
 122   border-collapse: collapse;
 123   max-width: 600px;
 124   width: 100%;
 125   margin: 1em 0;
 126   padding: 0;
 127   border: 1px solid #bfcfff;
 128 }
 129 tr {
 130   margin: 0;
 131   padding: 0;
 132   border: none;
 133 }
 134 tr.odd {
 135   background: #f0f4ff;
 136 }
 137 tr.separate td {
 138   border-top: 1px solid #bfcfff;
 139 }
 140 td {
 141   text-align: left;
 142   margin: 0;
 143   padding: 0.2em 0.5em;
 144   border: none;
 145 }
 146 tt, code, kbd, samp {
 147   font-family: Courier New, Courier, monospace;
 148   line-height: 1.2;
 149   font-size: 110%;
 150 }
 151 kbd {
 152   font-weight: bolder;
 153 }
 154 blockquote, pre {
 155   max-width: 600px;
 156   margin: 1em 2em;
 157   padding: 0;
 158 }
 159 pre {
 160   line-height: 1.1;
 161 }
 162 pre.code {
 163   line-height: 1.4;
 164   margin: 0.5em 0 1em 0.5em;
 165   padding: 0.5em 1em;
 166   border: 1px solid #bfcfff;
 167   background: #f0f4ff;
 168 }
 169 pre.mark {
 170   padding-left: 2em;
 171 }
 172 span.codemark {
 173   position:absolute;
 174   left: 16em;
 175   color: #4040c0;
 176 }
 177 span.mark {
 178   color: #4040c0;
 179   font-family: Courier New, Courier, monospace;
 180   line-height: 1.1;
 181 }
 182 img {
 183   border: none;
 184   vertical-align: baseline;
 185   margin: 0;
 186   padding: 0;
 187 }
 188 img.left {
 189   float: left;
 190   margin: 0.5em 1em 0.5em 0;
 191 }
 192 img.right {
 193   float: right;
 194   margin: 0.5em 0 0.5em 1em;
 195 }
 196 .indent {
 197   padding-left: 1em;
 198 }
 199 .flush {
 200   clear: both;
 201   visibility: hidden;
 202 }
 203 .hide, .noscreen {
 204   display: none !important;
 205 }
 206 .ext {
 207   color: #ff8000;
 208 }
 209 .note {
 210   padding: 0.5em 1em;
 211   border-left: 3px solid #bfcfff;
 212 }
 213 #site {
 214   clear: both;
 215   float: left;
 216   width: 13em;
 217   text-align: center;
 218   font-weight: bold;
 219   margin: 0;
 220   padding: 0;
 221   background: transparent;
 222   color: #ffffff;
 223 }
 224 #site a {
 225   font-size: 200%;
 226 }
 227 #site a:link, #site a:visited {
 228   text-decoration: none;
 229   font-weight: bold;
 230   background: transparent;
 231   color: #ffffff;
 232 }
 233 #site span {
 234   line-height: 3em; /* really 6em relative to body, match h1 */
 235 }
 236 #logo {
 237   color: #ffb380;
 238 }
 239 #head {
 240   margin: 0;
 241   padding: 0 0 0 2em;
 242   border-left: solid 13em #4162bf;
 243   border-right: solid 3em #6078bf;
 244   background: #6078bf;
 245   color: #e6ecff;
 246 }
 247 #nav {
 248   clear: both;
 249   float: left;
 250   overflow: hidden;
 251   text-align: left;
 252   line-height: 1.5;
 253   width: 13em;
 254   padding-top: 1em;
 255   background: transparent;
 256 }
 257 #nav ul {
 258   list-style: none outside;
 259   margin: 0;
 260   padding: 0;
 261 }
 262 #nav li {
 263   margin: 0;
 264   padding: 0;
 265 }
 266 #nav a {
 267   display: block;
 268   text-decoration: none;
 269   font-weight: bold;
 270   margin: 0;
 271   padding: 2px 1em;
 272   border-top: 1px solid transparent;
 273   border-bottom: 1px solid transparent;
 274   background: transparent;
 275   color: #2142bf;
 276 }
 277 #nav a:hover, #nav a:active {
 278   text-decoration: none;
 279   border-top: 1px solid #97a7d7;
 280   border-bottom: 1px solid #e6ecff;
 281   background: #b9c9f9;
 282   color: #ff0000;
 283 }
 284 #nav a.current, #nav a.current:hover, #nav a.current:active {
 285   border-top: 1px solid #e6ecff;
 286   border-bottom: 1px solid #97a7d7;
 287   background: #c5d5ff;
 288   color: #2142bf;
 289 }
 290 #nav ul ul a {
 291   padding: 0 1em 0 1.7em;
 292 }
 293 #nav ul ul ul a {
 294   padding: 0 0.5em 0 2.4em;
 295 }
 296 #main {
 297   line-height: 1.5;
 298   text-align: left;
 299   margin: 0;
 300   padding: 1em 2em;
 301   border-left: solid 13em #bfcfff;
 302   border-right: solid 3em #e6ecff;
 303   background: #e6ecff;
 304 }
 305 #foot {
 306   clear: both;
 307   font-size: 80%;
 308   text-align: center;
 309   margin: 0;
 310   padding: 0.5em;
 311   background: #6078bf;
 312   color: #ffffff;
 313 }
 314 #foot a:link, #foot a:visited {
 315   text-decoration: underline;
 316   background: transparent;
 317   color: #ffffff;
 318 }
 319 #foot a:hover, #foot a:active {
 320   text-decoration: underline;
 321   background: transparent;
 322   color: #bfcfff;
 323 }