font-variant: normal
}
-input {
+input,button {
font-family: helvetica,sans-serif;
font-weight: normal;
font-size: 12pt;
/* buttons *******************************************************************/
-button {
- border: 0px;
- background-color: transparent;
- padding: 0px;
- cursor: pointer
- font-family: helvetica,sans-serif;
- font-weight: normal;
- font-variant: normal;
- font-size: 12pt;
+form.button {
+ display: inline
}
/* Buttons and links that look like buttons share the same formatting */
-span.button, a.button {
+a.button {
padding-top: 2px;
border-width: 3px;
border-color: #fefefe; /* Off-white */
color: red
}
-form.search {
+div.search {
border: 1px solid black; /* Give the search box a border */
- padding: 0.2em
+ padding: 0.2em;
+}
+
+form.search, form.search p {
+ display: inline
}
/* menu bar *******************************************************************/