body {
    background: rgb(83, 82, 110);
    /*background: #88ba62;*/
    color: black;
    /*margin-left: 5%;
    margin-right: 5%; */
    font-family: Helvetica, Arial, Verdana, sans-serif;
    font-size: 10pt;
    counter-reset: parts;
}

a { 
color:rgb(103,115,77); 
text-decoration: underline; }
a:hover { text-decoration: underline; }

.padded li { padding: 0pt 0pt 8pt 0pt; }
.padded li li { padding: 0pt; }

.code {
	color: rgb(0,0,0);
#	background-color: rgb(255, 255, 255);
	font-family: sans-serif;
	font-size: 12pt;
	font-weight: bold;
}

p.boxed  { 
    width: 80%;
    text-align: left;
    padding: 6pt; 
    border: 2pt solid black; 
}

tt {
    font-weight: bold;
    font-size: 105%;
    color:rgb(103,115,77); 
   /* color: #88ba62;*/
    background: rgb(246, 250, 249);
}
tt:hover { background: #FFFFbb; }
.typed, .typed * { color: #c94268; }
/*
*/

strong {
    padding: 4px;
    font-size: 120%;
}

em {
    font-weight: bold;
    font-style: normal;
    color:rgb(103,115,77); 
    /*color:#52872b;*/
    background: rgb(246, 250, 249);
}

/*em:hover { background: #FFFFbb; } */


#top h1{ text-align: left; font-size: 20pt; }
/*#top h3{ text-align: left; text-decoration: none; font-size: small;} */
h1 { text-align: center; }
h1+p { text-align:center; }
h1 span.subtitle {font-size: 60%; font-weight: normal; display: block; }
h2 { font-size: 14pt}
h3 { font-size: 11pt;
     margin-bottom: -8pt; }
h4 { font-size: 10pt;
     margin-top: -2pt;
     margin-bottom: -8pt; }
/*h3 {
        text-decoration: underline;
        margin-bottom: -10pt;
}
	*/


#container {
    margin: auto;
    min-height: 42em;
    min-width: 45em;
    width: 94%;
    padding: 1em;
    padding-bottom: 0pt;
    background: #101010;
}
#top {
 /*   font-weight: bold; */
    padding: 1.5em;
    padding-bottom: .8em;
    padding-top: .8em;
    border-bottom: solid;
    border-width: 1em;
    border-color: #101010;
    background: rgb(246, 250, 249);
}

/* Trying out auto counting parts  - doesn't work on Safari, does on Firefox */
/*
h2:before { 
    content: "Part " counter(parts) " - "; 
    counter-increment: parts;
}
    */

.notice {
	background-color: #FFFFbb;
	color: #fd7073;
	font-size: 120%;
}

.centered {
    text-align: center;
}

.right {
    text-align: right;
}

.float-right {
    float: right;
}

#footer {
}   

#handin {
    padding: 0 20px;
    border: thin solid black;
    background-color: #ededff;
} 

div.boxed {
    padding: 10px;
    border: thin solid black;
}

.highlight {
    background-color: #FFFFbb;
}

address { font-size: xx-small; font-style: normal; }

q.honor { color: #fd7073; 
          font-weight: bold;
          font-family: "Comic Sans", "Comic Sans MS", cursive;
        }

ol.alpha { list-style-type: upper-alpha; }

@media print {
    body {
	background: rgb(246, 250, 249);
        color: #101010;
        font-size: 10pt;
        font-family: serif;
        /*
        margin-left: 5%;
        margin-right: 5%;
        font-family: serif;
        font-family: cursive;
         */
    }

    a, tt, .notice, #handin, em, q.honor, .typed, .typed *  {
        color:black;
	background-color: rgb(246, 250, 249);
    }

	
    .typed, .typed * {
        font-weight: bold;
    }

    tt { font-size: 100%; }

    a { text-decoration: underline; }

    p { text-align: justify; }
}
