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