1 /* user interface styles */
   2 @import url("ui.css");
   3 
   4 @import url("xmlverbatim.css");
   5 
   6 /* content styles */
   7 body {
   8     background-color: #FFFFFF;
   9     color: #000000;
  10     font-size: 10pt;
  11     font-family: Arial, Helvetica, sans-serif;
  12 }
  13 
  14 h1,h2,h3,h4,h5 {
  15     font-family: Georgia, Times, serif;
  16     font-weight: bold;
  17     margin-top:2pt;
  18     margin-bottom:8pt;
  19     color: #910000;
  20 }
  21 
  22 h1 {
  23     font-size: 150%;
  24     padding-left: 0.4%;
  25     width: 99.6%;
  26 }
  27 h2 {
  28     font-size: 130%;
  29     padding-left: 0.8%;
  30     width: 99.2%;
  31 	text-decoration: underline;
  32 }
  33 h3 {
  34     font-size: 115%;
  35     padding-left: 1.2%;
  36     width: 98.8%;
  37 	text-decoration: underline;
  38 }
  39 h4 {
  40     font-size: 105%;
  41     padding-left: 1.6%;
  42     width: 98.4%;
  43 }
  44 h5 {
  45     font-size: 95%;
  46     padding-left: 2%;
  47     width: 98.0%;
  48 }
  49 
  50 a:link {
  51     color: blue;
  52     text-decoration: none;
  53 }
  54 
  55 a:hover {
  56     text-decoration: underline;
  57 }
  58 
  59 a:visited {
  60     color: #175c83;
  61     text-decoration: none;
  62 }
  63 
  64 a.nonexistent {
  65     background-color: #F8F8F8;
  66     color: #FF2222;
  67 }
  68 
  69 a.nonexistent:visited {
  70     background-color: #F8F8F8;
  71     color: #c90000;
  72 }
  73 
  74 dl,ul,ol,li {
  75     margin-top: 1pt;
  76 }
  77 
  78 li {
  79 	list-style: circle;
  80 }
  81 	
  82 li.gap {
  83     margin-top: 8pt;
  84 }
  85 
  86 tt,pre {
  87     font-family: monospace;
  88     font-size: small;
  89 }
  90 
  91 hr {
  92 	border: 1px solid black;
  93 }
  94 
  95 .code {
  96     font-family: monospace;
  97     margin-top: 3px;
  98     margin-bottom: 3px;
  99     color: white;
 100     background-color: #77aaee;
 101     white-space: pre;
 102     padding-left: 5px;
 103     padding-top: 2pt;
 104     padding-bottom: 2pt;
 105     width: auto;
 106 }
 107 
 108 table.navigation {
 109     font-family: sans-serif;
 110     background-color: #E8E8E8;
 111     border: 1px #C8C8C8 solid;
 112     border-spacing: 3px;
 113     padding: 4pt;
 114     text-align: center;
 115     margin-top: 2pt;
 116     margin-bottom: 8pt;
 117     border-style: none;
 118     border-width: thin;
 119     width: 100%;
 120 }
 121 
 122 table.navibar td {
 123 	border: 1px solid black;
 124 	border-left: 0;
 125 	border-right: 0;
 126 }
 127 
 128 table.wiki {
 129   border: 3px solid #444444;
 130   border-collapse: collapse; 
 131 /*  margin: auto; */
 132 }
 133 
 134 td.wiki {
 135   text-align: center;
 136 }
 137 
 138 .diffnew {
 139 	background-color: #ace1ff;
 140 }
 141 
 142 .diffold {
 143 	background-color: #ffcdcd;
 144 }