Ensure all buttons in dark theme have consistent font size.

installer/resources/themes/console/dark/console.css

@@ -492,7 +492,7 @@ input {
      background: #bbf;
      color: #002;
      margin: 5px;
-     font: bold 9pt "Lucida Sans Unicode", "Bitstream Vera Sans", Verdana, Tahoma, Helvetica, sans-serif;
+     font: bold 8pt "Lucida Sans Unicode", "Bitstream Vera Sans", Verdana, Tahoma, Helvetica, sans-serif;
      padding: 1px 2px;
      text-decoration: none;
      min-width: 110px;