+ width: 9em;
+}
+
+/* Forms. */
+form > table {
+ margin-left: auto;
+ margin-right: auto;
+}
+
+input:focus {
+ background-color: #eef;
+}
+
+textarea:focus {
+ background-color: #eef;
+}
+
+/* Search box. */
+div#search_div {
+ position: absolute;
+ left: 50%;
+ width: 49%;
+ top: 0.95em;
+ text-align: right;
+}
+
+/* WikiForms - hide the edit link for the top section. */
+div#form_div p.edit_link {
+ display: none;
+}
+
+/* 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: 22em;
+ background: #fff;
+ margin-left: 1em;
+}
+
+div#navigation_div {
+ position: absolute;
+ right: 1em;
+ top: 6em;
+ width: 10em;
+ height: 22em;
+ line-height: 1em;
+}
+
+div#navigation_div h2 {
+ display: none;
+}
+
+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;
+}
+
+/* The "* html" causes this rule to only be applied to IE 5/6. */
+* html div#navigation_div li {
+ line-height: 1.2em;
+ margin-left: 3em;
+ padding-left: 0px;
+}
+
+/* Default for branding section. The default doesn't claim to be very
+ * helpful. If you enabled branding on the site, you should abs-position
+ * the branding_div, and indeed probably replace it with a logo at the
+ * top of each page.
+ */
+div#branding_div {
+ width: 30%;
+ float: right;
+ font-size: 0.7em;
+}
+
+div#branding_div h2 {
+ border: none;
+ margin: 0px;
+ padding: 0px;
+}
+
+div#branding_div p {
+ margin: 0px;
+ padding: 0px;