Style the hosted page a little bit.

diff --git a/hosted.css b/hosted.css
index dff621666b2db726918fcb1fc85c5164e429c392..16dd01bc516e7801989bb2b2740c85009ad51700 100644 (file)
--- a/hosted.css
+++ b/hosted.css
@@ -19,21 +19,33 @@
  * DEALINGS IN THE SOFTWARE.
  */
 
+body {
+  background-color: #EFEFEF;
+  margin: 0 auto;
+  width: 50em;
+}
+
 iframe {
   border: none;
   padding: 0;
   overflow: hidden;
   margin: 3em 0;
-}
 
-#core {
   width: 37em;
-  height: 15em;
   display: block;
   margin-left: auto;
   margin-right: auto;
 
-  border-color: #EEEEEE;
+  background-color: #FFF;
+  border-color: #CCC;
   border-style: solid;
   border-width: .1em;
 }
+
+#core {
+  height: 15em;
+}
+
+#options {
+  height: 6.25em;
+}