/* general styles */
body {
	font-size: 100%; 
	line-height: 1.5;	
	font-family: "Georgia", "Times New Roman", times, serif;
    margin: auto 5%;
    padding-bottom: 3.0em;
    padding: 0;
    margin: 0;
    }
code {
    font-family: monospace;
    white-space: pre;
    display: block;
    background: #eee;
    padding: 0 1.0em 1.0em 1.5em;
    margin: 1.0em 0 1.5em 0
    }

p {
    text-align: left; 
    margin: 0 0 1.5em 0;
    }

.nb {
    background: #ffc;
    padding: 6px 12px;
    }

.check {
    font-family: verdana, arial, helvetica, sans-serif;
    font-size: 85%;
    padding-left: 0.5em;
    background: #eee;
    }
.download {
    font-size: 100%;
    margin: 0;
    }
    .download a {
        color: #fff;
        background: #0a0;
        padding: 6px 12px;
        font-family: verdana, arial, helvetica, sans-serif;
        text-decoration: none;
        }
        .download a:hover {
            text-decoration: underline;
            }
.fallback {
    font-size: 85%;
    margin-top: 0.75em;
    margin-left: 0.5em;
    }
    .fallback a {
        color: #666;
        }

ol li {
    padding-bottom: 1.5em;
    }

h1 {
    font-family: verdana, sans-serif;
    font-size: 280%;
    font-weight: normal;
    text-shadow: 0px 3px 3px #888;
    margin: 0.5em 0 1.0em 0;
    padding: 0 1.0em;
    color: #000;
    white-space:nowrap;
    min-height: 48px;
    }

h2 { font-size: 180%; }
h2,
h3 {
    margin: 0 0 0.5em 0;
    padding: 0;
    }

/* main nav styles */
#mainNav {
	border-top: 2px solid #dfdfdf;
	margin-left: 0.0em;
	margin-top: 0.5em; /* compensate for border */
	margin-bottom: 3.5em;
	}
	#mainNav ul {
		list-style: none;
		min-height: 1px;
		margin: 0;
		padding: 0 0 0 2.0em;
        min-width: 27em;
		}
		* html #mainNav ul { height: 30px; }

		#mainNav ul li {
			display: block;
			float: left;
			margin: 0 1px 0 0;
			}
			#mainNav ul li a {
				display: block;
				padding: 0.285em 1.285em; /*6px 18px;*/
				color: #000;
				font-family: verdana, arial, helvetica, sans-serif;
				font-size: 0.875em;
				font-weight: normal;
				text-decoration: none;
                background: #dfdfdf;
                min-width: 3em;
                text-align: center;
                margin-top: -2px;
				}
			#mainNav ul li a:hover {
				color: #0820a6;
				background: #fff;
				text-decoration: none;
                margin-top: 0px;
				}
			#mainNav ul li.selected a {
				color: #fff;
				background: #000;
				text-decoration: none;
				font-weight: normal;
                padding-bottom: 7px;
                margin-top: -2px;
				}

/* main content */
#main {
    clear: both;
    max-width: 36em;
    padding: 0 3.0em;
    }

/* home page test section */
#test {
    text-align: center;
    border: 1px solid #aa0;
    background-color: #ffa;
    padding: 0.5em;
    font-family: verdana, arial, helvetica, sans-serif;
    font-size: 85%;
    }


/* demo section */
.demo {
    margin-top: 1.5em;
    padding-top: 1.5em;
    border-top: 1px solid #ddd;
    }
    .demo:after {
        content: ".";
        display: block;
        height: 0;
        clear: both;
        visibility: hidden;
        }
    .demo p {
        margin: 0;
        }
    .demo a {
        color: #fff;
        background: #000;
        display: block;
        padding: 0.25em 0.50em;
        float: right;
        text-decoration: none;
        font-family: verdana, arial, helvetica, sans-serif;
        font-size: 80%;
        }
        .demo a:hover {
            background: #fff;
            color: #00a;
            text-decoration: underline;
            }

/* footer styles */
footer {
    margin-top: 5.0em;
    padding: 2.0em 0 3.0em 0;
    background: #eee;
    border-top: 2px solid #ccc;
    font-family: verdana, arial, helvetica, sans-serif;
    font-size: 75%;
    }
    footer p {
        margin: 0;
        padding: 0 2.0em;
        }
    footer a {
        color: #00a;
        }



/* from vim */
.String { color: #4a708b; }
.Statement { color: #b03060; font-weight: bold; }
.Identifier { color: #458b74; }