143 lines
1.8 KiB
CSS
143 lines
1.8 KiB
CSS
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;
|
|
}
|
|
|