1 <style type=
"text/css">
3 @import url
("http://fonts.googleapis.com/css?family=Droid+Serif");
4 @import url
("http://fonts.googleapis.com/css?family=Droid+Sans+Mono");
6 /* top-level appearance */
14 font-family: "Droid Serif", serif
;
17 /* table of contents; */
18 /* width and offsets must be synchronized with col2 below */
24 /* don't display list markers in TOC */
28 /* negative indentation for the first line of a TOC entry */
30 /* leave some vertical space between TOC entries */
32 /* only display first-level TOC entries */
35 /* no link color necessary for TOC entries */
39 /* column container */
41 /* this fixes the IE7 overflow hidden bug */
42 /* and stops the layout jumping out of place */
47 /* this chops off any overhanging `div's */
49 /* two-column left menu settings (col1 is right, col2 is left) */
56 left: 15em; /* pad2_l + wd2 + pad2_r */
62 right: 15em; /* pad2_l + wd2 + pad2_r */
63 padding-bottom: 1em; }
65 margin: 0 1em /* pad2_r */
66 0 15em; /* pad2_l + wd2 + pad2_r + pad1_l */
71 /* overflow: hidden; */ }
74 width: 13em; /* wd2 */
76 right: 14em; } /* wd2 + pad2_r */
83 font-family: "Droid Sans Mono", monospace
; }
84 /* no underline for links */
86 text-decoration: none
; }
100 text-align: center
; }
102 text-align: center
; }
103 /* since we have a TOC at a fixed position, */
104 /* links in headers back to the TOC are unnecessary */
117 margin-bottom: 5ex; }
119 font-size: smaller
; }
123 border-collapse: collapse
;
124 /* the next two lines center the table horizontally */
128 margin-bottom: 5ex; }
131 padding-right: 0.8em; }
133 /* a horizontal rule between table head and body */
134 border-bottom: solid thin
; }
138 padding-right: 0.8em;
139 /* some vertical space before the horizontal rule */
140 padding-bottom: 1ex; }
141 tbody
tr:first-child td
{
142 /* some vertical space after the horizontal rule */
146 padding-bottom: 2ex; }
148 /* if we have paragraphs in definition lists, */
149 /* suppress the very first vertical space */
153 /* source-code highlighting */
158 table
.sourceCode pre
{
162 vertical-align: baseline
;
165 border-right: 1px solid
#AAAAAA;
176 code
.sourceCode span
.kw
{
179 code
.sourceCode span
.dt
{
181 code
.sourceCode span
.dv
{
183 code
.sourceCode span
.bn
{
185 code
.sourceCode span
.fl
{
187 code
.sourceCode span
.ch
{
189 code
.sourceCode span
.st
{
191 code
.sourceCode span
.co
{
193 font-style: italic
; }
194 code
.sourceCode span
.ot
{
196 code
.sourceCode span
.al
{
199 code
.sourceCode span
.fu
{
201 code
.sourceCode span
.re
{ }
202 code
.sourceCode span
.er
{