.navigation {
	color:#666; 
	border:0px;
}

.navigation a:link,
.navigation a:visited,
.navigation a:hover,
.navigation a:active {
	text-decoration:none;
	color: #636363;
	background:#F9F9F9;
	border:1px solid #E6E6E6;
	padding:3px 6px;
	font-size:11px
}

.navigation a:hover {
	background:#BBE6F7;
	color:#FFFFFF;
	border-color:#E6E6E6;
}

.navigation span {
	text-decoration:none;
	background:#fff;
	padding:3px 6px;
	border:1px solid #999;
	color:#999;
	font-size:11px;
}

div.bash { 
	font-family: 'Monaco', 'Courier New', monospace;
	font-size: 10pt; 
	margin: 12px 0; 
	font-weight: normal;
	background: #f3f3f3;
	padding: 5px;
	text-align:justify;
	border: 1px dotted #999;
}

input.bash {
	background: white;
	height: 20px;
	border: 1px solid #e0e0e0;
}