.comment {
	/* font-lock-comment-face */
	color: #00008b;
}
.function-name {
	/* font-lock-function-name-face */
	color: #8b2323;
}
.keyword {
	/* font-lock-keyword-face */
	color: #8b0000;
}
.reference {
	/* font-lock-reference-face */
	color: #cd0000;
}
.string {
	/* font-lock-string-face */
	color: #008b00;
}
.type {
	/* font-lock-type-face */
	color: #4682b4;
}
tt { 
  font-size: 125%; 
}

body {
    background: #e0e0d8;
    color: black;
    font-family: verdana, arial, helvetica, Sans-Serif;
    margin:5px;
    padding:0;
	margin-left:20px;
}

h1.sitetitle {
    text-align: left;
    color: #Fff8f8;
    background: #c00000;
}

h1, h2, h3, h4, h5, h6 {
    font-family: verdana, arial, helvetica, Sans-Serif;
}

h1, h2, h3 {
    background: #EEEEEE;
	  padding:5px;
    margin-left:-20px;
	  padding-left:20px;
    margin-right:-5px;
}

h1, h2 {
    background: #EEEEEE;
	  padding:5px;
    margin-left:-20px;
	  padding-left:20px;
    margin-right:-5px;
}

h2 {
    font-variant: small-caps;
}

dt {
    font-weight: bold;
    margin-top: 2ex;
    margin-left: 1em;
}

.footer {
	color: gray;
	background: #EEEEEE;
	text-align: left;
	font-family: verdana, arial, helvetica, Sans-Serif;
	font-style: normal;
	font-variant: normal;
	font-weight: normal;
	font-size: 70%;
	display:block;
	padding:5px;
  margin-left:-20px;
	padding-left:20px;
  margin-right:-5px;
}

pre {
    border-right: #646464 1px solid;
    padding-right: 0.5em;
    border-top: #646464 1px solid;
    padding-top: 0.5em;
    border-left: #646464 1px solid;
    padding-left: 0.5em;
    border-bottom: #646464 1px solid;
    padding-bottom: 0.5em;
    white-space: pre;
    background-color: #f0e0c0;
    color: black;
    width: 90%;
    font-size: 120%;
  margin-left: 40px;
}

.slide {
	margin-bottom: 0.3em;
	padding: 1px;
	border: 1px solid #c00000;
	text-align: center;
}

.sidebar img { margin-left:0px }

.sidebar {
  float: right;
}

body img {  margin-left: 40px;  }

a {
  color: #c00000;
  text-decoration: none;
  border-bottom: 1px #c0c0c0 dotted;
}

a:hover {
  text-decoration: none;
  border-bottom: 1px #c00000 solid;
}

a img {
  border: 0px white solid;
}

h1 a { 
	color: #ffffff;
	text-decoration: none;
	border: none;
}

h1 a:hover { 
	color: #ffffff;
	text-decoration: none;
	border: none;
}

.math img { margin-left: 0px; }
.displaymath img { margin-left: 10em; }