border: 1px solid red;
}
+.notice {
+ color: #FF0000;
+ padding: 0.25em;
+ border: 1px solid red;
+ font-size: 16pt;
+}
+
/* Navigation bar. */
.navigation {
padding: 0em 1em;
#machinelist td, #machinelist th {
padding: 0.1em 0.5em;
}
+
+form {
+ display: inline;
+}
+
+/* styling for the results box */
+.result {
+ background-color: #e8e8ff;
+ border: 1px black solid;
+ padding: 1ex;
+}