@media only screen and (max-width: 760px) {
	body {
		background: #e1e1e1;
		margin:10px;
		margin-bottom:10px;
	}
}
@media only screen and (min-width: 761px) {
	body {
		background: #fafafa;
		width: 80%;
		margin: auto;
		margin-bottom:50px;
	}
}

h1 {
	font-size: 200%;
	border-bottom: darkslategray 1px solid;
}

img.bordered {
	border: solid black 2px;
}
pre {
	background:white;
	border:solid 1px black;
	padding: 5px;
}

.CodeMirror-scroll {
	background-color: #f6f6f6;
}

div.statement {
	background-color: #eaeaea;
	margin:2%;
	padding: 2%;
	border: solid black 2px;
}

div.statement_head {
	font-weight: bold;
	text-decoration: underline;
	margin-bottom: 6px;
}

.it {
	font-style: italic;
}

.sagecell_poweredBy {
	display: none;
}