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