.loggedin .name {
font-weight: bold;
}
+
+/* Machine list power buttons */
+.power.on:hover {
+ background: url(/static/power_button_on_to_off_bg.png);
+}
+.power.off:hover {
+ background: url(/static/power_button_off_to_on_bg.png);
+}
+
+/* Striping applied (by JavaScript) to every other row in /list. */
+tr.stripedrow {
+ background-color: #DDF;
+}
+
+#machinelist tr > td:first-child {
+ padding-right: 1em;
+}