/*
Copyright (c) 2008, Yahoo! Inc. All rights reserved.
Code licensed under the BSD License:
http://developer.yahoo.net/yui/license.txt
version: 3.0.0pr2
*/
/* reset */


.body{overflow:hidden; _overflow:visible; _zoom:1;}
.page{margin: 0 auto; width: 95%;_text-align:left; padding-bottom:40px;font-family: "Bitstream Vera Sans", "Arial", "Helvetica", sans-serif;font-size: 13px;line-height: 1.5;}
.main{overflow: hidden;_overflow:visible;_zoom:1;}
.rightCol{float:right; width: 300px;_margin-left:-3px;}



#logo {
    padding-top: 40px;
    padding-bottom: 30px;
}

.h1 {
	font-size: 1.8em;
	font-weight: bold;
	font-style: normal;
    letter-spacing: -0.05em;
	color: rgb(31,72,100);
	/*font-variant: small-caps;*/
}

.h2 {
	font-size: 1.4em;
    letter-spacing: -0.05em;
	font-weight: bold;
	font-style: normal;
	color: rgb(31,72,100);
	/*font-variant: small-caps;*/
}

ul.simpleList li {
	list-style-type: disc;
	margin-left: 40px;
}


.page a {
	color: rgb(4,47,83);
}

.page a:visited {
	color: rgb(4,47,83);
}


.main ul li {
	list-style-type: disc;
	list-style-position: outside;
	margin-left: 20px;
    clear:both;
}

.main ol li {
	list-style-type: decimal;
	list-style-position: outside;
	margin-left: 40px;
}



.termcell {
    /*
    width: 10px;
    height: 16px;
    padding: 0;
    margin: 0;
    */
    /*letter-spacing: -1px; /* hmm, chromium-linux needs this right now */
    background-color: rgb(0,0,0);
    width: 8px;
    height: 16px;
}

#terminal {
    line-height: 16px;
    color: rgb(180,180,180);
    font-family: "Consolas","Lucida Console","Monaco",monospace;
    font-size: 13px;
    border: 3px solid rgb(31,72,100);
    width: 640px;
    margin: 20px;
}


.under {
    text-decoration: underline;
}

#field {
    margin-top: 20px;
    margin-left: 20px;
}

#ed {
    font-family: "Consolas","Lucida Console","Monaco",monospace;
    margin: 0;
    padding: 0;
    border: 0;
}

.edline {
    background: black;
    font-size: 14px;
    height: 16px;
    margin: 0;
    padding: 0;
    border: 0;
    color: white;
}

#cursor {
    position: absolute;
    background: red;
    height: 16px;
    width: 8px;
}

#edoutput {
    background: #ccc;
    color: #black;
    height: 100px;
    overflow: auto;
    font-family: "Consolas","Lucida Console","Monaco",monospace;
    font-size: 9pt;
}

.note-gutter {
    width: 30px;
}