blash/system/default_stylerc.css

142 lines
1.8 KiB
CSS
Raw Normal View History

2011-01-07 22:54:07 +01:00
/**
* Default style for blash
*/
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;
}
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;
}