documentation/stylesheet.css

   1 @charset "utf-8";
   2 a:link { color: #0000cc; }
   3 body {
   4   background: #fff; margin: 3px 8px;
   5   font-family: arial, sans-serif;
   6 }
   7
   8 body { font-size: 83%;}
   9 pre, code { font-size: 120%;}
  10
  11 h1 { font-size: x-large; }
  12 h2 { font-size: large; }
  13 h3 { font-size: medium; }
  14 h4 { font-size: small; }
  15
  16 img { border: 1px solid #ccc; }
  17
  18 pre {
  19   margin-left: 2em;
  20   padding: 0.5em;
  21   border-left: 3px solid #ccc;
  22 }
  23
  24 table {
  25   border: 1px solid #999999;
  26   border-collapse: collapse;
  27 }
  28
  29 th {
  30   border: 1px solid #999999;
  31   padding: 0.25em 0.5em;
  32   background: #ccc;
  33 }
  34
  35 td {
  36   border-bottom: 1px dotted #999999;
  37   border-left: 1px dotted #999999;
  38   text-align: left;
  39   padding: 0.25em 0.5em;
  40 }
  41
  42 td pre.listing {
  43   margin: 0.25em 0.25em 0.25em 0;
  44 }
  45
  46 pre.listing {
  47   padding: 0;
  48   background-color: #fff;
  49   border: none;
  50 }
  51
  52 div#toplink {
  53   font-size: small;
  54   text-align: right;
  55   margin-bottom: -2em;
  56 }
  57
  58 .comment {
  59   display:none;
  60   /* color:red; font-weight:bold */
  61 }
  62
  63 .caption {
  64   font-weight:bold
  65 }
  66
  67 #license {
  68   color:gray;
  69   font-size:small;
  70   border-top:1px solid;
  71   border-color:gray;
  72   padding:1em;
  73   margin-top:3em;
  74   text-align:center;
  75 }
  76
  77 .technote {
  78   border:1px solid #999;
  79   background:#ccc;
  80   margin:0em 5em;
  81   padding: 0.25em 0.5em;
  82 }