html {
	font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
	font-size: 120%;
	max-width: 800px; 
	margin: 20px; 
	color: #e7e7e7; 
	background-color: #363636; 
	background-image: url(./images/emacs_gnu_logo.png)
}

a:link { 
	color:#00b0b0; 
}
a:visited { 
	color:#00b0b0; 
} 
a:active { 
	color:#00b0b0; 
}

.title {
	text-align: left;
	font-size: 150%;
	margin-top: 20px;
	padding-bottom: 0.5em;
	border-bottom: 1px solid;
}
h2 {
	font-size: 130%;
}
h3 {
	font-size: 120%;
}

#table-of-contents {
    font-size: 9pt;
    position: fixed;
    right: 0em;
    top: 0em;
    background: #363636;
    -webkit-box-shadow: 0 0 1em #777777;
    -moz-box-shadow: 0 0 1em #777777;
    -webkit-border-bottom-left-radius: 5px;
    -moz-border-radius-bottomleft: 5px;
    text-align: right;
    /* ensure doesn't flow off the screen when expanded */
    max-height: 80%;
    overflow: auto; 
    z-index: 200;
}

#table-of-contents h2 {
    font-size: 9pt;
    max-width: 8em;
    font-weight: normal;
    padding-left: 0.5em;
    padding-top: 0.05em;
    padding-bottom: 0.05em; 
}

#table-of-contents ul {
    margin-left: 14pt; 
    margin-bottom: 10pt;
    padding: 0
}

#table-of-contents li {
    padding: 0;
    margin: 1px;
    list-style: none;
}

#table-of-contents ul>:first-child {
    color: blue;
}

#table-of-contents #text-table-of-contents {
    display: none;
    text-align: left;
}

#table-of-contents:hover #text-table-of-contents {
    display: block;
    padding: 0.5em;
    margin-top: -1.5em; 
}

div.figure {
	padding: 0.5em;
}
div.figure p {
	text-align: center;
	font-style: italic;
}
#postamble {
	font-size: 90%;
	border-top: 1px solid;
	margin-top: 20px;
}