/* style sheet modifications for mobile devices */

body {
	font-family: Georgia;
	line-height: 130%;
}

pre.code {
	white-space: pre-wrap;
	font-size: 0.9em;
}

#content {
	margin-right: 0;
	padding-right: 0;
	border-right: 0px;
}

#sidebar, #header p.nav {
	display: none;
}