* {
	font-size: 12px;
}

body {
	background-color: #FFFFFF;
	color: black;
	/*
	font-family: verdana, ariel, "sans-serif";
	*/
	font-family: "lucida console", "courier new", "monospace";
	font-size: 12px;
	margin: 7px;
	margin-top: 10px;
	text-align: center;
}

a {
	color: #C00000;
	text-decoration: none;
}

a:hover {
	color: #C00000;
	text-decoration: underline;
}

.l {
	line-height: 21px;
}

div.t {
	padding: 10px;
	background-color: #EFEFEF;
	border: 1px solid #ADADAD;
	font-size: 12px;
	width: 900px;
	margin: auto;
}

div.v {
	text-align: left;
	padding-top: 10px;
	padding-left: 10px;
	padding-right: 10px;
	padding-bottom: 10px;
	background-color: #EFEFEF;
	border: 1px solid #ADADAD;
}

div.v2 {
	margin-top: 10px;
	text-align: center;
	padding-top: 10px;
	padding-left: 10px;
	padding-right: 10px;
	background-color: #EFEFEF;
	border: 1px solid #ADADAD;
}

td.line-numbers {
	
}

table.t {
	width: 900px;
	margin: auto;
	text-align: left;
	padding: 0px;
}

table.v {
	text-align: left;
	font-size: 12px;
	padding: 0px;
}

table.v2 {
	text-align: left;
	font-size: 12px;
	padding: 0px;
}

td {
	padding: 1px;
	vertical-align: top;
}

th {
	padding: 1px;
	vertical-align: top;
	width: 150px;
}

input {
	font-family: "lucida console", "courier new", "monospace";
	width: 740px;
}

select {
	font-family: "lucida console", "courier new", "monospace";
	width: 740px;
}

textarea {
	font-family: "lucida console", "courier new", "monospace";
	width: 740px;
	height: 400px;
}

option {	
	font-family: "lucida console", "courier new", "monospace";
}


div.v p {
	word-spacing: 3px;
}

p {
	padding: 5px;
	margin: 4px;
}

.paste {
	color: #43090A;
	padding-top: 10px;
	padding-left: 10px;
	padding-right: 10px;
	padding-bottom: 10px;
	background-color: #FFFFFF;
	border: 1px solid #ADADAD;
}

.txt {
	background-color: #FFFFFF;
	border: 1px solid #9A9A9A;
	color: #43090A;
}

.btn {
	background-color: #CFCFCF;
	border: 1px solid #9A9A9A;
	height: 40px;
	color: #43090A;
}

.action {
    color: #EFEFEF;
}

.desc {
    font-size: x-small;
}

.bookdesc {
    font-size: 70%;
}

.html_entity {
    color: red;
}

.xml_pi {
    color: blue;
}

.xml_tag {
    color: mediumblue;
}

.keyword {
    color: mediumblue;
}

.comment {
    color: green;
}

.literal {
   color: purple;
}

.sch_literal {
    color: green;
}