body {
	font-family: 'Helvetica', 'Arial', sans-serif;
	/* the only 'right' size for fonts */
	font-size: 100%;
	background-color: #fbfeff;
}

h1, h2, h3 {
	border-left: outset 3px #bfb;
	border-bottom: outset 3px #bfb;
	padding: 0.2em;
}

.inline {
    display: inline;
}

/** This sheet defines styles useful for marking 
up colors on source fragments of Java, HTML or 
XML style code that contain 'keywords', 'attributes',
'textual content', 'comments' and such. */

/* keywords - members/attributes*/
.closure {
	color: #f22;
}
.element {
	color: #22f;
}
.attribute {
	color: #727;
}
.operator {
	color: #29f;
}

/* 'strings' */
.text {
	color: #272;
	background-color: inherit;
}
.comment {
	color: #69d;
}

/* inherit the BG color */
.closure, .element, .attribute, 
.operator, .text, .comment {
	background-color: inherit;
}

/* Define a light green BG */
pre, blockquote {
	background-color: #fbfffb;
	color: inherit;
	border: solid 1px black;
	padding: 10px;
}
pre {
	margin: 5px;
}

pre.cli {
	background-color: #000;
	color: #fff;
	
}
pre.editor {
	background-color: #fff;
	color: #000;
	
}

.button {
    font-size: 85%;
    border: outset 2px #000080;
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 0px;
    padding-bottom: 1px;
    text-decoration: none;
    color: #000;
    background-color: #ffffff;
}

a:hover.button {
    border: inset 2px #808000;
    background-color: #ffffff;
}

img.home {
    float: right;
    border: 0;
}