blash/blash.css

132 lines
1.7 KiB
CSS
Raw Normal View History

2010-12-21 22:47:39 +01:00
body
{
background-color : black;
color : #888;
font-family : Terminus, courier, monospace, fixed;
font-size : 13px;
2010-12-23 18:10:50 +01:00
tabindex : -1;
2010-12-21 22:47:39 +01:00
}
input.promptInput
{
background-color : black;
border : 0;
color : #888;
font-family : Terminus, courier, monospace, fixed;
font-size : 13px;
width : 500px;
2010-12-21 22:47:39 +01:00
}
2010-12-25 13:27:38 +01:00
input.password
{
background-color : black;
border : 0;
color : #888;
font-family : Terminus, courier, monospace, fixed;
font-size : 13px;
width : 500px;
}
2010-12-21 22:47:39 +01:00
div#blashWindow
{
2010-12-30 23:05:42 +01:00
/* width : 800px; */
/* height : 400px; */
2010-12-21 22:47:39 +01:00
margin : auto;
2010-12-30 23:05:42 +01:00
/* padding : 10px; */
/* border : 1px solid #888; */
2010-12-21 22:47:39 +01:00
overflow : auto;
2010-12-23 18:10:50 +01:00
tabindex : -1;
2010-12-21 22:47:39 +01:00
}
span.directory
{
color : #2553ee;
}
2010-12-23 15:45:53 +01:00
a
2010-12-21 22:47:39 +01:00
{
2010-12-23 15:45:53 +01:00
color : green;
2010-12-23 18:10:50 +01:00
tabindex : -1;
2010-12-23 15:45:53 +01:00
}
a:visited
{
color : green;
2010-12-23 18:10:50 +01:00
tabindex : -1;
2010-12-21 22:47:39 +01:00
}
span.syntax
{
color : white;
font-weight : bold;
}
span.brief
{
color : green;
}
2010-12-30 03:27:26 +01:00
span.filematch
{
color : #672377;
}
span.linematch
{
color : #73d216;
}
span.match
{
color : #992010;
2010-12-30 03:30:09 +01:00
font-weight : bold;
2010-12-30 03:27:26 +01:00
}
2011-01-01 17:25:28 +01:00
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;
}