Fix a bunch of UI nits in sheriff-o-matic.

Tools/GardeningServer/sheriff-o-matic.html

Index: Tools/GardeningServer/sheriff-o-matic.html
diff --git a/Tools/GardeningServer/sheriff-o-matic.html b/Tools/GardeningServer/sheriff-o-matic.html
index a2a535ddd3413dae7a94ac27bd12d0b8d7f35939..08bf1a39520793a960166d02dd21264c6c4db998 100644
--- a/Tools/GardeningServer/sheriff-o-matic.html
+++ b/Tools/GardeningServer/sheriff-o-matic.html
@@ -13,13 +13,13 @@ James, a web developer from Birmingham, UK.
 <meta name="viewport" content="width=device-width, user-scalable=no">
 <link rel="stylesheet" href="http://fonts.googleapis.com/css?family=Open+Sans:400,700">
 <style>
-html {
-    overflow-y: scroll;
+html, body {
+  height: 100%;
 }
 body {
-    font-family: 'Open Sans';
-    font-size: 14px;
-    margin: 0px;
+  font-family: 'Open Sans';

[abarth-chromium, 2014/07/21 06:17:37]

Should we use Roboto?

[ojan, 2014/07/21 06:34:31]

Sure, I'm going to land this now so I can go to bed. rslgtm on a change that
switches fonts.

+  font-size: 14px;
+  margin: 0px;
 }
 </style>
 <script src="bower_components/platform/platform.js"></script>