+
+/* Navigation bar. */
+.navigation {
+ padding: 0em 1em;
+ font-size: 125%;
+ font-weight: bold;
+ font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
+}
+.navigation li {
+ display: inline;
+ padding: .2em;
+}
+
+/* Logged-in welcome message. */
+.loggedin {
+ float: right;
+}
+.loggedin .name {
+ font-weight: bold;
+}
+
+/* Machine list power buttons */
+.power {
+ width: 32px;
+ height: 32px;
+ background-color: transparent;
+ background-position: 0 0;
+ margin: 0;
+ border: 0;
+ text-indent: 64px;
+ line-height: 128px;
+ cursor: pointer;
+}
+.power:hover {
+ background-position: 0 32px;
+}
+.power.on {
+ background-image: url(power_button_on.png);
+}
+.power.off {
+ background-image: url(power_button_off.png);
+}
+
+/* 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;
+}