@import url(/style/default.css);
@font-face {
  font-family: "Nu Sans";
  src: url("/theme/font/nu-sans/nu_sans_bold.eot");
  src: url("/theme/font/nu-sans/nu_sans_bold.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-sans/nu_sans_bold.woff") format("woff"),
    url("/theme/font/nu-sans/nu_sans_bold.ttf") format("truetype"),
    url("/theme/font/nu-sans/nu_sans_bold.svg#nu_sansbold") format("svg");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "Nu Sans";
  src: url("/theme/font/nu-sans/nu_sans_italic.eot");
  src: url("/theme/font/nu-sans/nu_sans_italic.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-sans/nu_sans_italic.woff") format("woff"),
    url("/theme/font/nu-sans/nu_sans_italic.ttf") format("truetype"),
    url("/theme/font/nu-sans/nu_sans_italic.svg#nu_sansitalic")
    format("svg");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "Nu Sans";
  src: url("/theme/font/nu-sans/nu_sans.eot");
  src: url("/theme/font/nu-sans/nu_sans.eot?#iefix")
    format("embedded-opentype"), url("/theme/font/nu-sans/nu_sans.woff")
    format("woff"), url("/theme/font/nu-sans/nu_sans.ttf")
    format("truetype"),
    url("/theme/font/nu-sans/nu_sans.svg#nu_sansregular") format("svg");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "Nu Sans";
  src: url("/theme/font/nu-sans/nu_sans_bold_italic.eot");
  src: url("/theme/font/nu-sans/nu_sans_bold_italic.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-sans/nu_sans_bold_italic.woff") format("woff"),
    url("/theme/font/nu-sans/nu_sans_bold_italic.ttf") format("truetype"),
    url("/theme/font/nu-sans/nu_sans_bold_italic.svg#nu_sansbold_italic")
    format("svg");
  font-weight: bold;
  font-style: italic;
}
@font-face {
  font-family: "Nu Serif";
  src: url("/theme/font/nu-serif/nu_serif_semibold_italic.eot");
  src: url("/theme/font/nu-serif/nu_serif_semibold_italic.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-serif/nu_serif_semibold_italic.woff")
    format("woff"),
    url("/theme/font/nu-serif/nu_serif_semibold_italic.ttf")
    format("truetype"),
    url("/theme/font/nu-serif/nu_serif_semibold_italic.svg#nu_serif_semibolditalic")
    format("svg");
  font-weight: 600;
  font-style: italic;
}
@font-face {
  font-family: "Nu Serif";
  src: url("/theme/font/nu-serif/nu_serif_semibold.eot");
  src: url("/theme/font/nu-serif/nu_serif_semibold.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-serif/nu_serif_semibold.woff") format("woff"),
    url("/theme/font/nu-serif/nu_serif_semibold.ttf") format("truetype"),
    url("/theme/font/nu-serif/nu_serif_semibold.svg#nu_serif_semiboldregular")
    format("svg");
  font-weight: 600;
  font-style: normal;
}
@font-face {
  font-family: "Nu Serif";
  src: url("/theme/font/nu-serif/nu_serif.eot");
  src: url("/theme/font/nu-serif/nu_serif.eot?#iefix")
    format("embedded-opentype"), url("/theme/font/nu-serif/nu_serif.woff")
    format("woff"), url("/theme/font/nu-serif/nu_serif.ttf")
    format("truetype"),
    url("/theme/font/nu-serif/nu_serif.svg#nu_serifregular") format("svg");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "Nu Serif";
  src: url("/theme/font/nu-serif/nu_serif_bold_italic.eot");
  src: url("/theme/font/nu-serif/nu_serif_bold_italic.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-serif/nu_serif_bold_italic.woff") format("woff"),
    url("/theme/font/nu-serif/nu_serif_bold_italic.ttf")
    format("truetype"),
    url("/theme/font/nu-serif/nu_serif_bold_italic.svg#nu_serifbold_italic")
    format("svg");
  font-weight: bold;
  font-style: italic;
}
@font-face {
  font-family: "Nu Serif";
  src: url("/theme/font/nu-serif/nu_serif_bold.eot");
  src: url("/theme/font/nu-serif/nu_serif_bold.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-serif/nu_serif_bold.woff") format("woff"),
    url("/theme/font/nu-serif/nu_serif_bold.ttf") format("truetype"),
    url("/theme/font/nu-serif/nu_serif_bold.svg#nu_serifbold")
    format("svg");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "Nu Serif";
  src: url("/theme/font/nu-serif/nu_serif_italic.eot");
  src: url("/theme/font/nu-serif/nu_serif_italic.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/nu-serif/nu_serif_italic.woff") format("woff"),
    url("/theme/font/nu-serif/nu_serif_italic.ttf") format("truetype"),
    url("/theme/font/nu-serif/nu_serif_italic.svg#nu_serifitalic")
    format("svg");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "Ubuntu Mono";
  src: url("/theme/font/ubuntu-mono/UbuntuMono-R-webfont.eot");
  src: url("/theme/font/ubuntu-mono/UbuntuMono-R-webfont.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-R-webfont.woff")
    format("woff"),
    url("/theme/font/ubuntu-mono/UbuntuMono-R-webfont.ttf")
    format("truetype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-R-webfont.svg#UbuntuMonoRegular")
    format("svg");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "Ubuntu Mono";
  src: url("/theme/font/ubuntu-mono/UbuntuMono-RI-webfont.eot");
  src: url("/theme/font/ubuntu-mono/UbuntuMono-RI-webfont.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-RI-webfont.woff")
    format("woff"),
    url("/theme/font/ubuntu-mono/UbuntuMono-RI-webfont.ttf")
    format("truetype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-RI-webfont.svg#UbuntuMonoItalic")
    format("svg");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "Ubuntu Mono";
  src: url("/theme/font/ubuntu-mono/UbuntuMono-B-webfont.eot");
  src: url("/theme/font/ubuntu-mono/UbuntuMono-B-webfont.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-B-webfont.woff")
    format("woff"),
    url("/theme/font/ubuntu-mono/UbuntuMono-B-webfont.ttf")
    format("truetype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-B-webfont.svg#UbuntuMonoBold")
    format("svg");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "Ubuntu Mono";
  src: url("/theme/font/ubuntu-mono/UbuntuMono-BI-webfont.eot");
  src: url("/theme/font/ubuntu-mono/UbuntuMono-BI-webfont.eot?#iefix")
    format("embedded-opentype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-BI-webfont.woff")
    format("woff"),
    url("/theme/font/ubuntu-mono/UbuntuMono-BI-webfont.ttf")
    format("truetype"),
    url("/theme/font/ubuntu-mono/UbuntuMono-BI-webfont.svg#UbuntuMonoBoldItalic")
    format("svg");
  font-weight: bold;
  font-style: italic;
}
body {
  font-size: 100%;
  line-height: 1.125em;
}
body {
  font-family: "Nu Serif", "Georgia", serif;
}
h1, h2, h3, h4, h5 {
  font-family: "Nu Sans", "Tahoma", sans;
  font-style: oblique;
  font-weight: bold;
  text-shadow: 0px 1px 3px rgba(0, 0, 0, 0.2);
}
code, kbd, pre, samp, tt {
  font-family: "Ubuntu Mono", "Consolas", "Monaco", monospace;
}
body {
  margin: 0;
  padding: 0;
}
#page-body {
  margin-left: 1em;
  margin-right: 1em;
}
#metadata tr {
  margin: 1ex 0;
  vertical-align: top;
}
#metadata td.key {
  text-transform: capitalize;
  text-align: right;
  font-style: italic;
  white-space: nowrap;
  padding-right: 0.5em;
}
#metadata td.value {
  padding-left: 0.5em;
}
#page-header {
  padding: 1ex 0.5em;
  background: #EEE;
  border-bottom: thin outset #DDD;
}
#page-header * {
  margin: 0;
  padding: 0;
}
nav#site-nav #site-path, nav#site-nav #site-top {
  display: inline;
}
nav#site-nav #site-path a, nav#site-nav #site-top a {
  text-decoration: none;
}
nav#site-nav .menu {
  display: inline;
  float: right;
  position: relative;
  padding: 0.3ex 0.5em;
}
nav#site-nav .menu:hover {
  background: #ffffff;
  box-shadow: 0px 0px 20px rgba(0, 0, 0, 0.3);
  z-index: 10;
}
nav#site-nav .menu ul {
  background: #ffffff;
  box-shadow: 0px 0px 20px rgba(0, 0, 0, 0.3);
  z-index: 10;
  list-style-type: none;
  visibility: hidden;
  position: absolute;
  right: 0;
  min-width: 8em;
  white-space: nowrap;
}
nav#site-nav .menu ul * {
  margin: 0;
  padding: 0;
}
nav#site-nav .menu ul >li:first-child {
  border-top: 1px solid rgba(0, 0, 0, 0.1);
}
nav#site-nav .menu ul >li {
  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
  padding-top: 1ex;
  padding-bottom: 1ex;
  padding-left: 10px;
}
nav#site-nav .menu ul >li >a {
  display: block;
  width: 100%;
  height: 100%;
}
nav#site-nav .menu:hover ul {
  visibility: visible;
}
footer #revision {
  clear: both;
  font-family: "Consolas", "Monaco", monospace;
  font-size: x-small;
  text-align: center;
  color: #808080;
}
h1 {
  text-align: center;
}
#page-body {
  margin-left: auto;
  margin-right: auto;
  max-width: 40em;
}
h1 a, h2 a, h3 a {
  text-decoration: none;
  color: #000000 !important;
}
h1, h2, h3, h4, h5, h6 {
  clear: left;
}
h2 {
  margin: 2ex 0 0 0;
  padding: 0 0 0.2ex 0;
}
h3 {
  margin: 1ex 0 0 0;
  padding: 0;
}
h4 {
  margin: 0.5ex 0 0 0;
  padding: 0;
}
h2+h3 {
  margin-top: 1.5ex;
}
h3+p {
  margin-top: 0.5ex;
}
h4+p {
  margin-top: 0;
}
ol li:not(:first-child), ul li:not(:first-child) {
  padding-top: 1.1ex;
}
li>p {
  margin-top: 0;
  margin-bottom: 0;
}
img.github-ribbon {
  position: absolute;
  top: 4ex;
  z-index: -1;
  right: 0;
  border: 0;
}