body { background-color: #fff; }
pre { 
  font-size: 75%; 
  padding-left: 20px; 
  border: 1px solid #ddd;
  border-left: 8px solid #ddd;
  background-color: #fff;
}
ol { list-style: decimal; padding-left: 1.5em; }
a:link { color: #800000; }
h1 { font-size: 110%; font-weight: bold; text-decoration: underline; }
h2 { font-size: 100%; font-weight: bold; text-decoration: underline; }
strong { font-weight: bold; }

textarea { font-family: monospace; font-size: 8pt; }
.editor { height: 330px; width: 600px; }

table, th, tbody, thead, tr, td { border: 0; border-color: transparent; }
th { font-weight: bold; padding: 1em; }
table.toc { width: 600px; }
table.toc td { padding: 1em; }
td.label { padding: 0.35em; }

.bordered { margin: 0 auto 0 auto; }
.bordered th { border: 1px solid #ddd; padding: 0.5em; }
.bordered td { border: 1px solid #ddd; padding: 0.5em; }

.header { font-size: 140%; font-weight: bold; }
.logo-text { font-size: 200%; font-weight: bold; }
div#ft { border-top: 1px solid #000; font-size: 80%; text-align: right; }

#main-menu ul li { list-style: none; }
#main-menu a { text-decoration: none; color: #800000; font-weight: bold; }
#main-menu a:hover { color: #000; }

a.reference { color: #800000; }
em { font-style: italic; }

blockquote.pull-quote {
  border: 1px solid #9cff9c; 
  background-color: #f0fff0;
  font-size: 100%; 
}

ul { list-style: square; list-style-position: outside; margin-left: 1em; }

.admonition-licence-agreement-for-breve-1-x .admonition-title { font-weight: bold; text-decoration: underline; }
.admonition-licence-agreement-for-breve-1-x ol li { margin-top: 1em; font-size: 82%; }

.footnote-reference, .fn-backref {  
  font-size: 85%;
  position: relative;
  bottom: 0.4em;
  text-decoration: none;
}

.fn-backref {  
  margin-right: 0.5em;
}