--- /dev/null
+body {
+ font-family: sans-serif;
+ font-size: 0.85em;
+ color: #101010;
+}
+
+h1, h2, h3, h4, h5, h6 {
+ margin-top: 0;
+ font-weight: bold;
+}
+
+h1 {
+ font-size: 1.5em;
+}
+
+h2 {
+ font-size: 1.4em;
+}
+
+h3 {
+ font-size: 1.2em;
+}
+
+h4 {
+ font-size: 1.1em;
+}
+
+h5 {
+ font-size: 1.0em;
+}
+
+dfn {
+ font-weight: normal;
+ font-size: 0.9em;
+}
+
+table {
+ border-collapse: collapse;
+}
+
+tr, td, th {
+ border: 1px solid #e0e0ff;
+ padding: 3px;
+}
+
+th {
+ background-color: #f0f0ff;
+ text-align: left;
+}
+
+
+hr {
+ border: none;
+ background-color: #cccccc;
+ height: 1px;
+}
+
+ul, li {
+ margin-top: 0;
+}
+
+div.clear {
+ clear: both;
+}
+
+div.variable-declaration {
+ padding-left: 2em;
+}
+
+h3.section-variables {
+ margin-top: 2em;
+}
+
+div#menu {
+ float: left;
+ background-color: #f0f0ff;
+ margin: 0;
+ padding: 0;
+ border: 1px solid #e0e0ff;
+ width: 11.5em;
+}
+
+#menu ul {
+ list-style-type: none;
+ margin-bottom: 0.5em;
+ padding-left: 1em;
+}
+#menu ul li {
+ margin-left: 0;
+
+}
+
+div.menu-title {
+ background-color: #e0e0ff;
+ color: #000000;
+ font-weight: bold;
+ padding: 2px;
+}
+
+div#content {
+ margin-top: 0;
+ padding-top: 0;
+ margin-left: 12.5em;
+}
+
+div#copy {
+ margin-top: 2.5em;
+ font-size: 0.7em;
+ text-align: center;
+ font-size: bold;
+}
+
+a:link {
+ font-weight: bold;
+ color: #004080;
+ text-decoration: none;
+}
+
+a:visited {
+ font-weight:bold;
+ color: #006699;
+ text-decoration: none;
+}
+
+a:hover {
+ text-decoration:underline;
+}