From 0a1aa9cd68f1619ded3d5ac82d8e80ce27d09688 Mon Sep 17 00:00:00 2001
From: Felipe Nascimento de Moura <felipenmoura@gmail.com>
Date: Sun, 8 May 2011 21:57:50 -0300
Subject: [PATCH] changes to the IDE console

---
 docs/ide/index.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/ide/index.php b/docs/ide/index.php
index 6dde237..c27f636 100644
--- a/docs/ide/index.php
+++ b/docs/ide/index.php
@@ -58,9 +58,10 @@
 		<input type='button' value='generate docs' onclick="genDocs()"/>
 		<input type='button' value='logoff' onclick="logoff()"/>
         <div id="MindConsoleWindow" style="position:absolute; height:400px; width:90%;">
-            <table style="width:100%;height:100%;" border="1">
+            <table style="width:100%; height:100%; background-color:#a76;"
+                   border="1">
                 <tr>
-                    <td id='MindConsoleWindowTitle' style="height:30px;">
+                    <td id='MindConsoleWindowTitle' style="height:30px; color:white;">
                         Console
                     </td>
                 </tr>