book.css

   1 body {
   2     font-size: 90%;
   3     font-family: verdana, arial, sans-serif;
   4 }
   5
   6 tt, code, pre, .type {
   7     font-family: andale mono, courier new, courier, monospace;
   8     font-size: 90%;
   9 }
  10
  11 pre {
  12     color: #0000aa;
  13 }
  14
  15 ul li p {
  16     margin-bottom:0;
  17 }
  18
  19 /* Based on http://phrogz.net/CSS/columns3.html */
  20 div.toc {
  21     float: left;
  22     margin: 0;
  23     padding: 0;
  24     padding-top: 0.5em;
  25     border: 0;
  26     width: 16em;
  27
  28     background-color: #f9f9f9;
  29     margin-right:1em;
  30 }
  31
  32 div.content {
  33     margin: 0;
  34     padding: 0;
  35
  36     /* won't match if font is smaller in toc */
  37     border-left: 16em solid #f9f9f9;
  38     padding-left: 1em;
  39 }
  40
  41 div.content:after {
  42     content:' ';
  43     clear:both;
  44     display:block;
  45     height:0;
  46     overflow:hidden
  47 }
  48
  49 div.footer {
  50     clear:left;
  51     padding: 0.5em;
  52     /* background-color: #f9f9f9;
  53     border: 1px solid #aaaaaa; */
  54     font-size: 80%;
  55     margin: 0;
  56 }
  57
  58 div.toc ul {
  59     list-style: none;
  60     padding: 0;
  61     margin: 0;
  62 }
  63
  64 div.toc li ul a, li ul span.currentlink
  65 {
  66     font-weight: normal;
  67     font-size: 90%;
  68     padding-left: 2em;
  69 }
  70
  71 div.toc a, span.currentlink{
  72     display:block;
  73     text-decoration: none;
  74     padding-left: 0.5em;
  75     color: #0000aa;
  76 }
  77
  78 span.currentlink {
  79     text-decoration: none;
  80     background-color: #aaaaf9;
  81 }
  82
  83 div.toc a:visited {
  84     color: #0000aa;
  85 }
  86
  87 div.toc a:hover {
  88     background-color: #f9f9aa;
  89 }
  90
  91 .programlisting, .screen {
  92     margin: 0;
  93     border: 1px solid #aaaaaa;
  94     background-color: #f9f9f9;
  95     padding: 0.17em;
  96     margin: 1em;
  97     margin-right: 3em;
  98 }
  99
 100 .parameter {
 101     font-style: italic;
 102 }
 103
 104 h1, h2 {
 105     padding-top: 0.5em;
 106     padding-bottom: 0.17em;
 107     margin: 0;
 108     font-weight: normal;
 109     color: black;
 110     border-bottom: 1px solid #aaaaaa;
 111 }
 112
 113 h1 {
 114     font-size: 188%;
 115 }
 116
 117 div.chapter h2 {
 118     font-size: 188%;
 119 }
 120
 121 div.section h2 {
 122     font-size: 150%;
 123 }