img {
	vertical-align:text-top;
	border: 1px solid #cccccc;
	float: right;
	padding: 2px;
	margin: 3px;
}

.errortext {
	color: red;
}

.screen {
	border-left: 4px solid teal;
	padding: 8px;
	background-color: #b8b8b8;
}

.programlisting {
	background-color: black;
	color: white;
	padding: 2px 6px 2px 6px;
	font-weight: bold;
}

a {
	font-size: 110%;
}

.title {
	font-variant: small-caps;
	border-left: 14px solid teal;
	padding: 4px;
	background-color: #b8b8b8;
}

.userinput {
	padding: 2px 6px 2px 6px;
	background-color: black;
	color: white;
}

.replaceable {
	color: #7c8ed0;
	font-weight: bold;
}

.literal {
	color: #ff9e06;
}