+/* Striping applied (by JavaScript) to every other row in /list. */
+tr.stripedrow {
+ background-color: #e8e8ff;
+}
+
+#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;
+}