1 body {
   2 	background-color: white;
   3 	font-family: sans-serif;
   4 	margin-top: 2.8em;
   5 }
   6 
   7 h1, h2, h3, h4 {
   8 	color: #005a9c;
   9 }
  10 
  11 a:link, a:visited, a:hover, a:active {
  12 	color: #005a9c;
  13 	text-decoration: none;
  14 }
  15 
  16 .toc {
  17 	font-weight: bold;
  18 	font-size: larger;
  19 }
  20 
  21 .toc li {
  22 	list-style-type: none;
  23 }
  24 
  25 .toc li li {
  26 	font-size: smaller;
  27 }
  28 
  29 .page_toc li {
  30 }
  31 
  32 h3 a {
  33 	/* ensure anchors don't vanish below the fixed header */
  34 	position: relative;
  35 	top: -2.8em;
  36 }
  37 
  38 .header {
  39 	background-color: #005a9c;
  40 	font-weight: bold;
  41 	padding: .35em;
  42 	position: fixed;
  43 	left: 0;
  44 	top: 0;
  45 	width: 100%;
  46 	height: 1.4em;
  47 }
  48 
  49 .header a {
  50 	color: white;
  51 }
  52 
  53 div.note {
  54 	border: 3px solid #005a9c;
  55 	padding: 1em;
  56 	margin: 0 2em 1em 2em;
  57 }
  58 
  59 div.note h4 {
  60 	margin: 0;
  61 }
  62 
  63 div.note p {
  64 	margin-bottom: 0;
  65 }
  66 
  67 pre {
  68 	background-color: #eee;
  69 	border: 1px solid black;
  70 	padding: .5em 1em;
  71 	margin: 0 2em 1em 2em;
  72 }
  73 
  74 blockquote {
  75 	font-style: italic;
  76 	white-space: pre;
  77 	overflow-x: auto;
  78 }
  79 
  80 code {
  81 	font-family: monospace;
  82 	font-style: normal;
  83 }
  84 
  85 blockquote span.literal {
  86 	font-family: monospace;
  87 	font-style: normal;
  88 	font-weight: bold;
  89 }
  90 
  91 blockcode {
  92 	overflow-x: auto;
  93 }
  94 
  95 pre span.token {color: #A00000;}
  96 pre span.type {color: #0080ff; font-weight: bold;}
  97 pre span.mehodname {color: #000000;}
  98 pre span.phrase {color: #004080;}
  99 
 100 table {
 101     border-collapse: collapse;
 102 }
 103 
 104 table td {
 105     border: 1px solid #005a9c;
 106 }
 107 
 108 table td p {
 109     margin: .2em .2em .2em .2em;
 110     padding: 0 0 0 0;
 111     font-size: smaller;
 112 }