body {
    margin: 0px;
    padding: 0px;
    font-family: verdana, arial, helvetica, sans-serif;
}

h1 { color : navy }
h2 { color : navy }
h4 { margin-left : 10px}

a {
    color: #b31b1b;
    border-bottom: 1px solid rgb(217, 217, 206);
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
    /* border-bottom: 1px solid #b31b1b; */
}

a.img {
    border-bottom-width: 0px;
}

a.breadcrumb, a.childpage {
    color: #222;
    padding: 5px 5px 5px 5px;
    border-bottom-width: 0px;
}

a.breadcrumb:hover, a.childpage:hover {
    text-decoration: underline;
}

a.insection {
    color: rgb(0,0,0);
    background-color: rgb(217, 217, 206);
    padding: 5px 2ex 5px 2ex;
}

a.notinsection {
    color: rgb(0,0,0);
    background-color: rgb(255, 255, 255);
    padding: 5px 2ex 5px 2ex;
}

img {
    border-width: 0px
}

#breadcrumb {
    font-size: 10px;
}

#navbar, #navbarbg {
/*	font-size: x-small; */
    /* background-color: #f0eee4; */
    padding-top: 5px;
    padding-bottom: 5px;
    padding-left: 50px;
}

/*
#outer {
     background: url('img/header_bg_thick.gif') repeat-x top;
   margin-bottom: 100px
}

#banner {
    background: url('img/header.jpg') no-repeat top right;
   margin-bottom: 100px
}
*/

#logo {
    margin-left: 10px;
}

#content {
    /* margin-top: 4ex; */
    margin-left: 5%;
    margin-right: 5%;
    border: 1px solid #b31b1b;
    padding: 30px;
    max-width: 100ex;
}

span.links, div.links {
    font-size: small;
}

span.def { 
  font-weight: bold
}

span.mathvar {
  font-style: italic
}

div.mathblock { 
  /* display: block; */
  margin-left: 5ex;
  margin-top: 0.5ex;
  margin-bottom: 0.5ex;
}

/* Definition table */

table.def { 
  margin: 0;
  padding: 0;
  align: center;
  border: 1px black solid;
}

table.def tr td:first-child {
  font-style: italic;
}

table.def tr td {
  border: 1px black solid;
}

th {
  text-align : left
}

#menu, #menu h1 {
    font-size: small;
}

#menu p, #menu ul, #menu ol, #menu h1 {
    margin: 0px;
}

#menu {
    /* border: 1px solid #b31b1b; */
    float: right;
    width: 200px;
    padding: 10px;
    margin-left: 30px;
    margin-bottom: 30px;
    background-color: rgb(232, 232, 220);
}

input, textarea {
    border: 1px solid #b31b1b;
    padding-left: 3px;
}

p {
    margin-left : 20px;
    margin-bottom: 1em;
}

div {
    margin-left : 20px;
    margin-bottom: 1em;
}

div.banner, div.bannertext {
	background-color: rgb(0,0,0);
	color: rgb(255,255,255);
	font-size: 30px;
	margin-bottom: 5px;
}

div.inset {
	background-color : #e0e0e0;
	margin : 20px 60px;
	padding : 10px;
	border : solid 1pt #c0c0c0;
}

div.codeblock {
	background-color : #e0e0e0;
	font-family : monospace;
	margin : 20px 60px;
	padding : 10px;
	border : solid 1pt #c0c0c0;
}

div.codeblock-kernel {
	background-color : #f0d0b0;
	font-family : monospace;
	margin : 20px 60px;
	padding : 10px;
	border : dashed 1pt #e0a080;
}

div.floatimg {
	float:right; 
	text-align : center;
	padding : 5px; 
	margin : 5px; 
	width : 270px; 
	border : 1px solid #b31b1b; 
	background : #f8e8d8;
}

div.dateline {
	font-style : italic; 
	text-align : right; 
	border-bottom : 1pt #d0d0d0 solid;
}
#logo {
	vertical-align: left;
}

table.banner {
	background-color: rgb(0,0,0);
	color: rgb(255,255,255);
	font-size: 30px;
}

/* Navigation drop-down stuff */

#navbar {
	list-style: none;
	margin: 0;
	padding: 0;
}

#navbar li {
	text-align: left;
	float: left;
	position: relative;
  	padding-bottom: 1ex;
}

#navbar li ul {
	display: none;
	position: absolute;
	list-style: none;
	margin: 0;
	padding: 0;
	width: 100%;
	/* text-indent: -1ex; */
	padding-top: 5px;
}

#navbar li ul li {
	display: block;
	background-color: white;
	padding-color: white;
	margin-color: white;
	font-size: xx-small;
	padding-left: 5px;
}

/* these four should be consistent */
#navbar li:hover ul {
	display: block;
}

#navbar li ul:hover {
	display: block;
}

#navbar li:over ul {
	display: block;
}


/***************/

#navbar li ul li a {
	font-weight: normal;
	color: #060;
	/* padding: 0.2em 10px; */
        border-bottom: 0px
}

#navbar li ul li a:hover {
	/* padding: 0.2em 10px; */
        /* border-bottom: 1px solid #b31b1b; */

	/* This eyecandy doesn't work
	padding: 0.2em 5px;
	border: 5px solid #7d6340;
	border-width: 0 5px;
	*/
}

li>ul { /* to override top and left in browsers other than IE, which will position to the top right of the containing li, rather than bottom left */
	top: auto;
	left: auto;
}

/****  Figures ****/

div.figure {
  display: table;
  margin-left: auto; margin-right: auto;
  margin-bottom: 3ex;
  text-align: center
}

#footer { 
  margin:	10pt 5%;
  padding-left: 60px;
  text-align: 	right;
  max-width: 	100ex;
}

div.pubtalklist {
  margin-left: 2ex
}

caption { 
  font-weight: bold;
}

li { 
}