+/* Navigation area.
+ * The navigation_space_div reserves the space for the div and appears
+ * at the beginning of the page (but is empty).
+ */
+div#navigation_space_div {
+ float: right;
+ width: 10em;
+ height: 20em;
+ border: 1px solid #ccc;
+ background: #fff;
+ margin-left: 1em;
+}
+
+div#navigation_div {
+ position: absolute;
+ right: 1em;
+ top: 6em;
+ width: 10em;
+ height: 20em;
+}
+
+div#navigation_div h2 {
+ font-size: 70%;
+ position: relative;
+ top: -1.5em;
+ left: 1.5em;
+ border: 1px solid #ccc;
+ padding-top: 2px;
+ background: #fff;
+ display: inline;
+}
+
+div#navigation_div h3 {
+ margin-left: 1em;
+ margin-top: -0.5em;
+ font-size: 70%;
+}
+
+div#navigation_div ul {
+ font-size: 70%;
+ margin-top: -1em;
+ margin-left: -1em;
+}
+