BODY {
    margin: 0 auto;
    padding-left: 2em;
    padding-right: 2em;
    max-width: 800px;
    line-height: 1.6;
    font-size: 90%;
    background-color: white;
}
h1 {
        text-shadow: 5px 5px 3px rgba(0,0,0,0.5);
        height: 60px;
        background-color: #17184b;
        color: white;
        padding-left: 10px;
        line-height: 60px;
        text-align: center;
      }
code {
	font-family: "Lucida Sans Typewriter", monospace;
}
pre {
        line-height: 1.3; 
        font-family: "Lucida Sans Typewriter", monospace;
	font-size: 100%;
	border: 2px solid #C0C0C0; 
	margin-left: 3%;
	padding: 5px 5px 5px 15px; 
	background: #FFFFFF;
        tab-size: 4;
}

.border {
	border: 1px solid #C0C0C0; 
	margin: 2%;
	padding: 5px 5px 5px 15px; 
	background: #FFFFFF;
}

.btn {
   	font-size: 15;
   	display: block;
   	width: 220px;
   	height: 20px;
   	text-align: left;
   	text-shadow: 1px 1px 1px rgba(0,0,0,0.5); 
   	line-height: 20px;
   	border-radius: 4px;
   	background: linear-gradient(to right, #C0C0FF 0%,#F0F0FF 100%);
}

.tabfont {
    font-size: 100%;
}