From ecf5d7dce263a93ffe0a7eceaec4a7028e6e274d Mon Sep 17 00:00:00 2001
From: C9 <matt@c9.io>
Date: Mon, 17 Sep 2012 11:52:56 -0400
Subject: [PATCH] Style updates

---
 doc/site/style.css | 4 ++++
 index.html         | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/doc/site/style.css b/doc/site/style.css
index 11e8eaec..273a9f5b 100644
--- a/doc/site/style.css
+++ b/doc/site/style.css
@@ -5,6 +5,10 @@ body {
     font-family: Helvetica, Arial;
 }
 
+#embed_ace_wrapper {
+    height: 525px;
+}
+
 .ace_editor_wrapper {
     height: 275px;
     position: relative;
diff --git a/index.html b/index.html
index fbaad6ee..46030236 100644
--- a/index.html
+++ b/index.html
@@ -137,7 +137,7 @@ console.log(addResult);</div>
                             <h1>Embedding ACE in Your Site</h1>
                             <p>ACE can be easily embedded into a web page:</p>
 
-                            <div class="ace_editor_wrapper">
+                            <div id="embed_ace_wrapper" class="ace_editor_wrapper">
                                 <div id="embedded_ace_code">&lt;!DOCTYPE html>
 &lt;html lang="en">
 &lt;head>
@@ -162,7 +162,7 @@ console.log(addResult);</div>
 &lt;script src="http://d1n0x3qji82z53.cloudfront.net/src-min-noconflict/ace.js" type="text/javascript" charset="utf-8">&lt;/script>
 &lt;script>
     var editor = ace.edit("editor");
-    editor.setTheme("ace/theme/twilight");
+    editor.setTheme("ace/theme/monokai");
     editor.getSession().setMode("ace/mode/javascript");
 &lt;/script>
 &lt;/body>