@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_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;
}
section#copyright-and-license {
  display: none;
}
#metadata #copyright {
  display: none;
}
section#document-history table {
  border-collapse: collapse;
  border: thin solid #DDD;
}
section#document-history table thead {
  border-bottom-style: double;
}
section#document-history table tr {
  vertical-align: top;
}
section#document-history table th {
  text-align: left;
}
section#document-history table td, section#document-history table th {
  padding: 0.5ex 0.5em;
  border: thin solid #DDD;
}
section#document-history table tr>td:first-child {
  white-space: nowrap;
}
section#references table tr>td:first-child {
  white-space: nowrap;
}