/* buttons *******************************************************************/
+form.button {
+ display: inline
+}
+
/* Buttons and links that look like buttons share the same formatting */
-button,a.button {
- padding: 1px;
+a.button {
+ padding-top: 2px;
border-width: 3px;
border-color: #fefefe; /* Off-white */
border-style: inset;
font-family: helvetica,sans-serif;
font-weight: normal;
font-variant: normal;
- font-size: 12pt
+ font-size: 12pt;
+ cursor: pointer
+}
+
+a.button {
+ padding-left: 4px;
+ padding-right: 4px;
}
a.button:active,button:active {
padding: 0.2em
}
+form.search p {
+ display: inline
+}
+
/* menu bar *******************************************************************/
div.top {
p.menubar {
float:left;
margin-left: 4px;
- word-spacing: 1em /* Space out menu items */
+ 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 */