body { background-color : black; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; tabindex : -1; } pre { font-family : Terminus, courier, monospace, fixed; font-size : 13px; } input.promptInput { background-color : black; border : 0; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; width : 500px; } input.password { background-color : black; border : 0; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; width : 500px; } div#blashWindow { /* width : 800px; */ /* height : 400px; */ margin : auto; /* padding : 10px; */ /* border : 1px solid #888; */ overflow : auto; tabindex : -1; } span.directory { color : #2553ee; } span.link { color : #46a4ef; } a { color : green; tabindex : -1; } a:visited { color : green; tabindex : -1; } span.syntax { color : white; font-weight : bold; } span.brief { color : green; } span.filematch { color : #672377; } span.linematch { color : #73d216; } span.match { color : #992010; font-weight : bold; } div.editor_container { width : 100%; height : 100%; overflow : hidden; } textarea.editor_window { border : 0px; width : 100%; height : 93%; background-color : black; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; } .editor_status { width : 100%; background-color : black; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; margin-bottom : 0; } .editor_head { width : 100%; background-color : #222; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; margin-bottom : 0; } input.editor_status_input { background-color : black; color : #888; font-family : Terminus, courier, monospace, fixed; font-size : 13px; border : 0; }