@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); }

                                    tt, code, kbd, samp, pre {
                                      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-top, nav#site-nav #site-path {
    display: inline; }
    nav#site-nav #site-top a, nav#site-nav #site-path 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: white;
      box-shadow: 0px 0px 20px rgba(0, 0, 0, 0.3);
      z-index: 10; }
      nav#site-nav .menu ul {
        background: white;
        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: gray; }

    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: black !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; }

                        ul li:not(:first-child), ol 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; }