/* don't show the toc */

.toc { display: none; }

/* Headings */

h1 {
  display: block;
  font-size: 1.5em;
  font-weight: bold;
  page-break-inside: avoid;
  page-break-after: avoid;
  text-align: left !important;
}

h2 {
  display: block;
  font-size: 1.3em;
  font-weight: bold;
  page-break-inside: avoid;
  page-break-after: avoid;
  text-align: left !important;
}

h3 {
  display: block;
  font-size: 1.1em;
  font-weight: bold;
  page-break-inside: avoid;
  page-break-after: avoid;
  text-align: left !important;
}

h4 {
  font-size: 1em;
  font-style: italic;
  font-weight: bold;
  display: block;
  page-break-inside: avoid;
  page-break-after: avoid;
  text-align: left !important;
}

h5 {
  font-size: 1em;
  font-style: italic;
  display: block;
  text-align: left !important;
}

h6 {
  font-size: 1em;
  font-style: italic;
  display: block;
  text-align: left !important;
}


/* Images  */
.mediaobject {
  text-align: center;
  padding: 0 0 0 0;
  margin: 0 0 0 0;
}

.figure-contents {
  page-break-after: avoid;
  padding: 0 0 1px 0;
  margin: 0 0 0 0;
  text-align: center;
}
  
.figure {
  background: #F5F5F5;
  page-break-inside: avoid;
  text-align: center;
  padding: 7px 1px 0 1px;
  margin-bottom: 0;
}
.figure-float {
  margin-bottom: 0;
  padding-bottom: 0;
}

.figure p.title {
  page-break-before: avoid;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
}


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

.sidebar > * { 
  margin-left: 5px;
}

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

.term pre, .term code {
  font-size: medium;
}

.tip, .warning, .note {
  width: 85%;
  text-align: left;
  margin-left: 15px !important;
  page-break-inside: avoid;
}

.tip p, .warning p, .note p {
  margin: 0 0 0.3em 0 !important;
  padding: 0 0 0 0;
}

.note h3, .warning h3, .tip h3 {
  text-align: left !important;
  padding-bottom: 0 !important;
  margin-bottom: 0 !important;
  page-break-after: avoid;
}

/* 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;
}

/* Syntax highlighting */
code.boolean {
  color: rgb(0,0,128); /* navy */
}
code.character {
  color: rgb(128,128,0); /* olive */
}
code.comment {
  color: rgb(0,0,255); /* blue */
}
code.conditional {
  color: rgb(50,205,50); /* limegreen */
}
code.constant {
  color: rgb(255,140,0); /* darkorange */
}
code.debug {
  color: rgb(139,0,0); /* darkred */
}
code.define {
  color: rgb(184,134,11); /* darkgoldenrod */
}
code.delimiter {
  color: rgb(105,105,105); /* dimgray */
}
code.error {
  color: rgb(255,0,0); /* red */
}
code.exception {
  color: rgb(250,128,11); /* salmon */
}
code.float {
  color: rgb(70,130,180); /* steelblue */
}
code.function {
  color: rgb(0,128,0); /* green */
}
code.identifier {
  color: rgb(65,105,225); /* royalblue */
}
code.ignore {
  color: rgb(128,128,128); /* gray */
}
code.include {
  color: rgb(128,0,128); /* purple */
}
code.keyword {
  color: rgb(160,82,45); /* sienna */
}
code.label {
  color: rgb(255,20,147); /* deeppink */
}
code.macro {
  color: rgb(255,69,0); /* orangered */
}
code.number {
  color: rgb(165,42,42); /* brown */
}
code.operator {
  color: black; /* black */
}
code.preCondit {
  color: rgb(0,128,128); /* teal */
}
code.preProc {
  color: rgb(255,0,255); /* fuscia */
}
code.repeat {
  color: rgb(75,0,130); /* indigo */
}
code.special {
  color: rgb(139,69,19); /* saddlebrown */
}
code.specialchar {
  color: rgb(255,0,255); /* magenta */
}
code.specialcomment {
  color: rgb(46,139,87); /* seagreen */
}
code.statement {
  color: rgb(34,139,34); /* forestgreen */
}
code.storageclass {
  color: rgb(221,160,221); /* plum */
}
code.string {
  color: rgb(139,0,0); /* darkred */
}
code.structure {
  color: rgb(210,106,30); /* chocolate */
}
code.tag {
  color: rgb(0,139,139); /* darkcyan */
}
code.todo {
  color: black; /* black */
}
code.type {
  color: rgb(123,104,238); /* mediumslateblue */
}
code.typedef {
  color: rgb(0,100,0); /* darkgreen */
}
code.underlined {
  text-decoration: underline; /* guess what */
}



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



/* Inlines */

a {
  text-decoration: none;
}

pre {
  white-space: pre-wrap;
  font-family: monospace;
  font-size: smaller;
  margin-left: 5px;
}
code { 
  white-space: pre-wrap;
  font-family: monospace;
  font-size: smaller;
}

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

strong {
  font-weight: bold;
  font-family: "DejaVu Serif", serif;
}

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