body, input  { 
               background-color: #c0c0c0;
               font-family: 'DejaVu Sans';
               margin: 1em; padding: 0; font-size: 15px; }

h1, h2, h3   { font-weight: normal; }

input        { background-color: #fff; margin: 0; text-align: left;
               outline: none !important; }
a            { color: #11557C; }
a:hover      { color: #177199; }
pre, code, table.source,
textarea     { font-family: 'Consolas', 'Monaco', 'Bitstream Vera Sans Mono',
               monospace; font-size: 14px; }

div.debugger { text-align: left; padding: 12px; margin: auto;
               background-color: #9e9e9e; 
               border-top-left-radius: 15px 15px; 
               border-top-right-radius: 15px 15px; 
               border-bottom-left-radius: 15px 15px; 
               border-bottom-right-radius: 15px 15px; 
           }

#tb-header {
               border-top-left-radius: 15px 15px; 
               border-top-right-radius: 15px 15px; 
}

h1           { margin: 0 0 0.3em 0; }
div.detail p { margin: 0 0 8px 13px; font-size: 14px; white-space: pre-wrap; }
div.explanation { margin: 20px 13px; font-size: 15px; color: #555; }
div.footer   { font-size: 13px; text-align: right; margin: 30px 0;
               color: #86989B; }

h2           { font-size: 16px; margin: 1.3em 0 0.0 0; padding: 9px;
               background-color: black; color: white; }
h2 em, h3 em { font-style: normal; color: gray; font-weight: bold; }

div.traceback, div.plain { border: 1px solid #ddd; margin: 0 0 1em 0; padding: 10px; background-color: #e5e5e5 ;}
div.plain p      { margin: 0; }
div.plain textarea,
div.plain pre { margin: 10px 0 0 0; padding: 4px;
                background-color: #E8EFF0; border: 1px solid #D3E7E9; }
div.plain textarea { width: 99%; height: 300px; }
div.traceback h3 { font-size: 1em; margin: 0 0 0.8em 0; }
div.traceback ul { list-style: none; margin: 0; padding: 0 0 0 1em; }
div.traceback h4 { font-size: 13px; font-weight: normal; margin: 0.7em 0 0.1em 0; }
div.traceback pre { margin: 0; padding: 5px 0 3px 15px;
                    background-color: #e5e5e5; border: 1px solid #D3E7E9; }
div.traceback pre,
div.box table.source { white-space: pre-wrap;       /* css-3 should we be so lucky... */
                       white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
                       white-space: -pre-wrap;      /* Opera 4-6 ?? */
                       white-space: -o-pre-wrap;    /* Opera 7 ?? */
                       word-wrap: break-word;       /* Internet Explorer 5.5+ */
                       _white-space: pre;           /* IE only hack to re-specify in
                                                    addition to word-wrap  */ }
div.traceback pre:hover { background-color: #c0c0c0; color: black; cursor: pointer; }
div.traceback blockquote { margin: 1em 0 0 0; padding: 0; }
div.traceback img { float: right; padding: 2px; margin: -3px 2px 0 0; display: none; }
div.traceback img:hover { background-color: #ddd; cursor: pointer;
                          border-color: #BFDDE0; }
div.traceback pre:hover img { display: block; background-color:#9e9e9e; padding:10px;
               border-top-left-radius: 15px 15px; 
               border-top-right-radius: 15px 15px; 
               border-bottom-left-radius: 15px 15px; 
               border-bottom-right-radius: 15px 15px; 
}
div.traceback cite.filename { font-style: normal; color: gray; }

pre.console {width:85%; 
               border-top-left-radius: 15px 15px; 
               border-top-right-radius: 15px 15px; 
               border-bottom-left-radius: 15px 15px; 
               border-bottom-right-radius: 15px 15px; 
                border: 1px solid #ccc; background: white!important;
              color: black; padding: 5px!important;
              margin: 3px 0 0 0!important; cursor: default!important;
              max-height: 400px; overflow: auto; }
pre.console form { color: #555; }
pre.console input { background-color: transparent; color: #555;
                    width: 90%; font-family: 'Consolas', 'Deja Vu Sans Mono',
                    'Bitstream Vera Sans Mono', monospace; font-size: 14px;
                     border: none!important; }

span.string { color: #30799B; }
span.number { color: #9C1A1C; }
span.help   { color: #3A7734; }
span.object { color: #485F6E; }
span.extended { opacity: 0.5; }
span.extended:hover { opacity: 1; }
a.toggle { text-decoration: none; background-repeat: no-repeat;
           background-position: center center;
           background-image: url(?__debugger__=yes&cmd=resource&f=more.png); }
a.toggle:hover { background-color: #444; }
a.open { background-image: url(?__debugger__=yes&cmd=resource&f=less.png); }

pre.console div.traceback,
pre.console div.box { margin: 5px 10px; white-space: normal;
                      border: 1px solid #11557C; padding: 10px;
                      font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva',
                      'Verdana', sans-serif;  }
pre.console div.box h3,
pre.console div.traceback h3 { margin: -10px -10px 10px -10px; padding: 5px;
                               background: #11557C; color: white; }

pre.console div.traceback pre:hover { cursor: default; background: #E8EFF0; }
pre.console div.traceback pre.syntaxerror { background: inherit; border: none;
                                            margin: 20px -10px -10px -10px;
                                            padding: 10px; border-top: 1px solid #BFDDE0;
                                            background: #E8EFF0; }
pre.console div.noframe-traceback pre.syntaxerror { margin-top: -10px; border: none; }

pre.console div.box pre.repr { padding: 0; margin: 0; background-color: white; border: none; }
pre.console div.box table { margin-top: 6px; }
pre.console div.box pre { border: none; }
pre.console div.box pre.help { background-color: white; }
pre.console div.box pre.help:hover { cursor: default; }
pre.console table tr { vertical-align: top; }
div.console { border: 1px solid #ccc; padding: 4px; background-color: #fafafa; }

div.box table.source { border-collapse: collapse; width: 100%; background: #E8EFF0 }
div.box table.source td { border-top: 1px solid #E8EFF0; padding: 4px 0 4px 10px; }
div.box table.source td.lineno { color: #999; padding-right: 10px; width: 1px; }
div.box table.source tr.in-frame { background-color: white; }
div.box table.source tr.current { background-color: #EEF7F8; color: #23707E; }
div.sourceview { max-height: 400px; overflow: auto; border: 1px solid #ccc; }
#debug_logo {
               border-top-left-radius: 15px 15px; 
               border-top-right-radius: 15px 15px; 
               border-bottom-left-radius: 15px 15px; 
               border-bottom-right-radius: 15px 15px;
               float:left;
            width:32px;height:32px;padding:5px;
            background-repeat:no-repeat;
            background-position:center;
           background-image: url(?__debugger__=yes&cmd=resource&f=debug.png); }