/* Headings */

h1 {
  display: block;
  font-size: 2em;
  font-weight: bold;
  margin: .67em 0;
  font-family:sans-serif;
}

h2 {
  display: block;
  font-size: 1.7em;
  font-weight: bold;
  margin: .83em 0;
  border-bottom:#000000 1px solid;
  font-family:sans-serif;
  line-height:40px;
}

h3 {
  display: block;
  font-size: 1.5em;
  font-weight: bold;
  margin: 1em 0;
}

h4 {
  font-size: 1.3em;
  display: block;
  font-weight: bold;
  margin: 1.33em 0;
}

h5 {
  font-size: 1.2em;
  display: block;
  font-size: 0.83em;
  font-weight: bold;
  margin: 1.67em 0;
}

h6 {
  font-size: 1.1em;
  display: block;
  font-size: 0.67em;
  font-weight: bold;
  margin: 2.33em 0;
}


/* Images  */
.mediaobject {
  padding: 0.6em;
  text-align: center;
}

.figure {
  border: thin solid black;
	padding:1em;
}

.figure > p {
	padding: 0em;
}

/* Blocks */
.sidebar {
  border: thin solid black;
  background-color: #F5F5F5;
}

.sidebar > * {
  margin-left: 0.5em;
}  

pre {
  font-family: monospace;
  font-size: smaller;
  margin-left: 1em;
}

.title {
	font-family:sans-serif;
}

.term {
	font-weight:bold;
	font-family:sans-serif;
}

/* Tables */
.table-contents th, .table-contents td  {
	border-bottom:#000000 solid 1px;
	border-right:#000000 solid 1px;
	border-top:0;
	border-left:0;
	padding:5px;
	margin:0;
	border-spacing:0;

}

.table-contents {
	border-top:#000000 solid 1px;
	border-left:#000000 solid 1px;
	border-bottom:0px;
	border-right:0px;
	margin:0;
	padding:0;
	border-spacing:0;
}

table {
	border-spacing:0;
}


/* Fonts (keep at bottom) */
@font-face {
  font-family: "DejaVu Serif";
  font-style: normal;
  font-weight: normal;
  src:url(DejaVuSerif.otf);
}

/* Inlines */

em {
  font-family: "DejaVu Serif", serif;
  font-style: italic;
}


strong {
  font-family: "DejaVu Serif", serif;
  font-weight: bold;
}
/* Keep this body statement last */
body {
  font-family: "DejaVu Serif", serif;
}