body {
	width: auto;
	min-width: 480;
}

h1 {
	background-color: #FF7F50;
}
	
h2 {
	background-color: #FF7F50;
}

h3 {
	border-color: #FF7F50;
}

img {
	display: block;
	margin-top: 5px;
	margin-bottom: 5px;
}

.r-console {
	background-color: white;
	border: 2px solid #6495ED;
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 5px;
	font-family: monospace;
}

.r-script {
	background-color: white;
	border: 2px solid #32CD32;
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 5px;
	font-family: monospace;
}

.r-console .comment, .r-script .comment {
	color: red;
}

.r-console .input {
	font-weight: bold;
	font-size: large;
}

img.r-image {
	border: 1px dashed #888;
}

textarea.sequence {
	width: 35em;
	height: 5em;
}