table.mainframe {
	width: 750px;
	border-collapse: collapse;
	border: 1px solid black;
}

td.mainframe_head {
	background-color: #EFEFEF;
	text-align: center;
	padding: 0px;
	margin: 0px;
	border: 1px solid black;
}

td.mainframe_navigation {
	background-color: #CFCFCF;
	text-align: left;
	width: 120px;
	padding: 5px;
	padding-left: 10px;
	font: 12px Arial, Helvetica, sans-serif;
	vertical-align: top;
}

td.mainframe_w3c {
	background-color: #CFCFCF;
	text-align: left;
/* 	width: 120px; */
	padding: 5px;
	padding-left: 10px;
	font: 12px Arial, Helvetica, sans-serif;
	vertical-align: bottom;
}

td.mainframe_content {
	background-color: #EFEFEF;
	font: 14px Arial, Helvetica, sans-serif;
	text-align: left;
	padding-left: 35px;
	padding-right: 35px;
	padding-top: 15px;
	padding-bottom: 15px;
	vertical-align: top;
	text-align: justify;
	line-height: 140%;
}

td.mainframe_footer {
	background-color: #646464;
	text-align: center;
	border: 1px solid black;
	color: #FEC254;
	font: 10px Arial, Helvetica, sans-serif;
	font-weight: bold;
	height: 18px;
}

td.mainframe_header {
	background-color: #646464;
	text-align: right;
	border: 1px solid black;
	color: #FEC254;
	font: 10px Arial, Helvetica, sans-serif;
	font-weight: bold;
	height: 18px;
}

a.navigation_link {
	color: #dd4444;
	text-decoration: none;
	font-weight: bold;
}

a.navigation_link:hover {
	color: #ff0000;
	font-weight: bold;
}

a.category_articlelink {
	color: #dd4444;
	text-decoration: none;
	font-weight: bold;
}

a.category_articlelink:hover {
	color: #dd4444;
	text-decoration: underline;
	font-weight: bold;
}

img {
	border: 0px;
	padding: 0px;
	margin: 0px;
	display: block;
}

img.text {
	border: 0px;
	padding: 0px;
	margin: 0px;
	display: inline;
}

h1 {
	font: 18px Arial, Helvetica, sans-serif;
	font-weight: bold;
	padding: 0px;
	margin: 0px;
}

h2 {
	font: 16px Arial, Helvetica, sans-serif;
	font-weight: bold;
	padding: 0px;
	margin: 0px;
}

a.link {
	color: #0a4185;
	text-decoration: underline;
}

a.headerlink {
	color: #FEC254;
	font: 10px Arial, Helvetica, sans-serif;
	font-weight: bold;
	text-decoration: none;
}

a.headerlink:hover {
	text-decoration: underline;
}

.code {
	font: 1.1em 'Courier New', Courier, Fixed;
	border: 1px solid #AAAAAA;
	background-color: #CCCCCC;
	padding: 3px;
	width: 100%;
	margin-top: 10px;
	margin-bottom: 10px;
	text-align: left;
}

/* Shell script */
span.shellscript_keyword {
	color: #0000ff;
	font-weight: bold;
}

span.shellscript_string {
	color: #009200;
}

span.shellscript_variable {
	color: #a46016;
	font-weight: bold;
}

/* Shell user commands */
.shell_exec {
	font-weight: bold;
}

.shell_exec_comment {
	font-style: italic;
	color: #666666;
}

.shell_output {
	/*font-weight: bold;*/
}