/* menu bar *******************************************************************/
+div.top {
+ background-color: #e0e0e0;
+ border: 1px solid black
+}
+
+div.logo {
+ float:right;
+ margin-top:4px;
+ margin-right:4px
+}
+
/* p.menubar is the menu bar at the top */
p.menubar {
- word-spacing: 1em /* Space out menu items */
+ float:left;
+ margin-left: 4px;
+ word-spacing: 0px
}
/* Subelements are A for usable menus or SPAN for unusable ones */
p.menubar a, p.menubar span {
font-family: helvetica,sans-serif;
- font-weight: bold;
- font-size: 14pt;
- text-decoration: none
+ font-size: 24px;
+ text-decoration: none;
+ padding: 4px
}
/* a.activemenu is the current menu item */
-a.activemenu {
- color: red;
+img.activemenu, a.activemenu {
+ background-color: #d0d0d0;
+ color: black;
+ padding: 4px;
+ border: none
}
/* a.inactivemenu is a non-current but choosable menu item */
-a.inactivemenu {
- color: black
+img.inactivemenu, a.inactivemenu {
+ color: black;
+ padding:4px;
+ border:none
}
/* span.invaliemenu is a non-choosable menu item */
font-family: monospace
}
+/* text with sectiosn *******************************************************/
+
+/* h2.sectiontitle is used for subsection headings */
+h2.sectiontitle {
+ background-color: #e0ffe0; /* Black on pastel green */
+ color: black;
+ padding: 0.2em
+}
+
+/* There is a div.section for each subsection */
+div.section {
+ margin-left: 1em
+}
+
/* help **********************************************************************/
/* table.helpbuttons is used for various tables of buttons */
margin-right: 2em
}
-/* h2.helptitle is used for help subsection headings */
-h2.helptitle {
- background-color: #e0ffe0; /* Black on pastel green */
- color: black;
- padding: 0.2em
-}
-
-/* There is a div.helpsection for each subsection */
-div.helpsection {
- margin-left: 1em
-}
-
/* span.configuration marks configuration directives */
span.configuration {
font-family: monospace