.coretext {
	color:black;
}


.codesample {
	color:blue;
	margin-left: auto;
	margin-right: auto;
	padding-left: 2em;
	padding-top: 1em;
	padding-bottom: 1em;
	width:80%;
	background-color: lightgray;
}

.pictureframe {
	display: block;
	margin-left: auto;
	margin-right: auto;
	padding-left: 2em;
	padding-right: 2em;
	padding-top: 1em;
	padding-bottom: 1em;
	background-color: darkgray;
	border-style: solid;
	border-color: white;
	border-width: 10px;
}

.sectiontitle {
	font-size:130%;
	font-weight: bold;
}

.subsectiontitle {
	font-size:120%;
	font-weight: bold;
}

.screenoutput {
	margin-top: 0em;
	padding-top: 0;
	font-family: monospace;
	white-space: pre;
	color:white;
	background-color: black;
	margin-left: auto;
	margin-right: auto;
	width:60%;
}

.centredlink {
	display: block;
	margin-left: auto;
	margin-right: auto;
	text-align: center;
}

.formalspec {
	color:blue;
	font-size: 120%;
	margin-left: 2em;
}