diff --git a/web/public/stylesheets/leon.css b/web/public/stylesheets/leon.css index f656afa3a86a6dcc5af17a3e88dd83b1be7fe991..b480006d208144b2d02704625f4aa24427d28181 100644 --- a/web/public/stylesheets/leon.css +++ b/web/public/stylesheets/leon.css @@ -143,19 +143,26 @@ td.date { div#codebox { border-style: none; - background-color: #eee; + background-color: rgba(255,255,255,0.5); border: 1px dashed #333; width: 700px; height: 450px; position: absolute; } +div#codebox div.ace_gutter { + background-color: rgba(220,220,220,0.3) !important; +} +div#codebox div.ace_gutter_active_line { + background-color: rgba(220,220,220,0.5) !important; +} + textarea#consolebox { - font-family: "Lucida Console", monospace; - font-size: 11px; - width: 700px; + font-family: "Lucida Console", monospace; + font-size: 11px; + width: 700px; height: 250px; - border: none; + border: none; background-color: #EEEEEE; padding: 0px; margin: 0px;