/* Layout */
body {
  background: white;
  margin: 0px;
  padding: 20px;
  font-family: "Segoe UI", Verdana, Helvetica, Arial, sans-serif;
  font-size: 12pt; }

#navigation {
  position: absolute;
  width: 200px;
  margin-right: 20px;
  border-right: 1px solid black;
  padding-right: 19px; }

#navigation ul, #navigation p {
  line-height: 1.5;
  list-style-type: none;
  padding: 0;
  margin: 0 0 1em 0.7em; }

#content {
  max-width: 800px;
  margin-left: 219px;
  border-left: 1px solid black;
  padding-left: 20px;
  padding-bottom: 1px; }

#copyright {
  font-size: smaller; }

/* Links */
a:link, a:visited {
  color: #375b84;
  text-decoration: none; }

a:hover {
  text-decoration: underline; }

a img {
  border: 0px; }

/* Elements */
hr {
  border: none;
  border-bottom: 1px solid black; }

h1 {
  margin-top: 0; }

h1, h2, h3 {
  margin-bottom: .2em; }

p {
  margin-top: .2em; }

td {
  vertical-align: top; }

table {
  margin-bottom: 1em; }

figure, div.highlighter-rouge {
  margin-left: 1em;
  margin-right: 1em; }

/* Syntax highlighting */
.highlight .k {
  color: purple; }
.highlight .nn {
  color: navy; }
.highlight .p {
  color: green; }
.highlight .c, .highlight .c1 {
  color: #444; }
.highlight .s {
  color: green; }

pre, code.highlighter-rouge {
  tab-size: 2;
  -moz-tab-size: 2;
  background-color: #f0f0f0;
  padding: 0 2px; }

/* Helper classes */
ol.top, ul.top {
  margin-top: 0px; }

.hang {
  text-indent: -3em;
  margin-left: 3em; }

.sidebar {
  float: right;
  border: thin solid black;
  width: 200px;
  padding: 2px 2px 2px 2px; }

.note, .error {
  padding: 5px 5px 5px 32px;
  /* border: 2px solid; */
  border-radius: 8px;
  background-position: 8px 8px;
  background-repeat: no-repeat; }

.note {
  border-color: navy;
  background-color: lightblue;
  background-image: url(/images/silk/note.png); }

.error {
  border-color: darkred;
  /*#cd1616;*/
  background-color: pink;
  /*#f8926f;*/
  background-image: url(/images/silk/error.png); }