h1 {	text-align:center }

.codediv {
#	font-family: 'Ubuntu Mono', monospace;
	font-size: 1em;
	padding: 2px 3px;
#  	background-color: rgb(200,200,200);
#	display: inline;
}

.codestuff, .demoout {
	outline: none;
    background-color: #F9F9F9;
    border: 1px dashed #2F6FAB;
    color: black;
    line-height: 1.1em;
    padding: 1em;
	width: 70%;
	margin-left: 10%;
}

.intro {
	color: black;
	padding: 1em;
	width: 80%;
	margin-left: 12%;
}

.run {
	color: black;
	width: 80px;
	right: 0px;
}

.outxxx {
        color: black;
        width: 70%;
        margin-left: 10%;
	border: 1px dashed #2F6FAB;
}

#svgout {
	color: black;
        width: 70%;
        margin-left: 12%;
        border: 1px dashed #2F6FAB;

}

#htmlraw {
	color: black;
        width: 70%;
        margin-left: 12%;
        border: 1px dashed #2F6FAB;

}

code .keyword              { font-weight: bold }
code .string, code .regexp { color: green }
code .class, code .special { color: blue }
code .number               { color: pink }
code .comment              { color: grey }
code { outline: none }