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