/* http://tak.tx0.org stylesheet.css
Copyrighted content. Unauthorized use prohibited.
(c) 2015 T. Ishi, All rights reserved.
*/

html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font-size: 100%;
  font: inherit;
  vertical-align: baseline; }

/* HTML5 display-role reset for older browsers */
article, aside, details, figcaption, figure,
footer, header, hgroup, menu, nav, section {
  display: block; }

body {
  line-height: 1; }

ol, ul {
  list-style: none; }

blockquote, q {
  quotes: none; }

blockquote:before, blockquote:after,
q:before, q:after {
  content: "";
  content: none; }

table {
  border-collapse: collapse;
  border-spacing: 0; }

@font-face {
  font-family: "FXMatrixMonoPica";
  src: url("FXMatrix105MonoPicaBold.woff");
  font-weight: bold;
  font-style: normal; }
@font-face {
  font-family: "FXMatrixMonoPica";
  src: url("FXMatrix105MonoPicaBoldItalic.woff");
  font-weight: bold;
  font-style: italic; }
@font-face {
  font-family: "FXMatrixMonoPica";
  src: url("FXMatrix105MonoPicaItalic.woff");
  font-weight: normal;
  font-style: italic; }
@font-face {
  font-family: "FXMatrixMonoPica";
  src: url("FXMatrix105MonoPicaRegular.woff");
  font-weight: normal;
  font-style: normal; }

@font-face {
  font-family: "FXMatrixMonoDblPica";
  src: url("FXMatrix105MonoPicaDblBold.woff");
  font-weight: bold;
  font-style: normal; }

@font-face {
  font-family: "FXMatrixMonoExpPica";
  src: url("FXMatrix105MonoPicaExpBold.woff");
  font-weight: bold;
  font-style: normal; }
@font-face {
  font-family: "FXMatrixMonoExpPica";
  src: url("FXMatrix105MonoPicaExpRegular.woff");
  font-weight: normal;
  font-style: normal; }

@font-face {
  font-family: "FXMatrixMonoULPica";
  src: url("FXMatrix105MonoPicaULRegular.woff");
  font-weight: normal;
  font-style: normal; }

@font-face {
  font-family: "FXMatrixMonoExpElite";
  src: url("FXMatrix105MonoEliteExpDblRegular.woff");
  font-weight: bold;
  font-style: normal; }
@font-face {
  font-family: "FXMatrixMonoExpElite";
  src: url("FXMatrix105MonoEliteExpRegular.woff");
  font-weight: normal;
  font-style: normal; }

@font-face {
  font-family: "FXMatrixMonoExpCompr";
  src: url("FXMatrix105MonoComprExpRegular.woff");
  font-weight: normal;
  font-style: normal; }
@font-face {
  font-family: "FXMatrixMonoCompr";
  src: url("FXMatrix105MonoComprRegular.woff");
  font-weight: normal;
  font-style: normal; }
@font-face {
  font-family: "FXMatrixMonoCompr";
  src: url("FXMatrix105MonoComprItalic.woff");
  font-weight: normal;
  font-style: italic; }

@font-face {
  font-family: "AlteHaasGrotesk";
  src: url("AlteHaasGroteskBold.woff") format("woff");
  font-weight: bold;
  font-style: normal; }
@font-face {
  font-family: "AlteHaasGrotesk";
  src: url("AlteHaasGroteskRegular.woff") format("woff");
  font-weight: normal;
  font-style: normal; }

body {
  font-family: "FXMatrixMonoPica";
  font-size: 10pt;
  line-height: 12pt;
  display: table;
  background-image: url("bg-body.jpg");
  background-repeat: repeat-xy;
  width: 100%;
  height: 100%; }

html {
  height: 100%; }

a {
  text-decoration: none;
  color: darkred; }

.holes {
  display: table-cell;
  width: 9.5mm;
  background-image: url("bg-hole.svg");
  background-repeat: repeat-y; }

.holes_left {
  background-position: 3.75mm 0mm; }

.holes_right {
  background-position: 0.25mm 0mm; }

.numbers {
  display: table-cell;
  width: 12pt;
  background-image: url("bg-num.svgz");
  background-repeat: repeat-y; }

.numbers_left {
  background-position: 0mm 8pt; }

.numbers_right {
  background-position: -1mm 8pt; }

.main {
  padding: 12pt 8pt 12pt 8pt;
  display: table-cell;
  background-position: 0mm 8pt;
  background-image: url("bg-line.svg");
  margin: auto; }
  .main h1 {
    font-family: "FXMatrixMonoExpPica";
    font-weight: bold; }
  .main h2 {
    font-family: "FXMatrixMonoExpPica";
    font-weight: normal; }
  .main h3 {
    font-family: "FXMatrixMonoExpElite";
    font-weight: bold; }
  .main h4 {
    font-family: "FXMatrixMonoExpElite";
    font-weight: normal; }
  .main h5 {
    font-family: "FXMatrixMonoExpCompr";
    font-weight: normal; }
  .main h6 {
    font-family: "FXMatrixMonoDblPica";
    font-weight: bold; }

  .main .title {
    font-weight: bold; }
  .main .footer {
    font-family: "FXMatrixMonoCompr";
    font-style: italic; }
  .main .footer a {
    font-family: "FXMatrixMonoCompr";
    font-style: italic;
    color: darkred; }

.dotmatrix a {
  font-family: "FXMatrixMonoULPica";
  text-decoration: none;
  color: darkred; }
.dotmatrix a.blind {
  font-family: "FXMatrixMonoPica";
  color: darkred; }

.paper {
  margin: 16pt 24pt 24pt 24pt;
  padding: 4pt 8pt 4pt 8pt;
  width: 42em;
  background-image: url("bg-paper.jpg");
  font-family: Helvetica;
  font-size: 11pt; }
  .paper .title {
    font-family: "AlteHaasGrotesk";
    padding: 8pt 0pt 4pt 0pt;
    font-weight: bold;
    font-size: 20pt;
    line-height: 24pt; }
  .paper a {
    text-decoration: underline; }
  .paper em {
    font-style: italic; }
  .paper p {
    padding: 0pt 0pt 6pt 0pt; }
  .paper h1 {
    font-family: "AlteHaasGrotesk";
    font-size: 14pt;
    line-height: 24pt;
    font-weight: bold; }
  .paper h2 {
    font-family: "AlteHaasGrotesk";
    font-weight: bold;
    padding: 6pt 0pt 0pt 0pt; }
  .paper th {
    padding: 0pt 8pt 0pt 8pt;
    font-weight: bold; }
  .paper td {
    padding: 0pt 8pt 0pt 8pt;
    border-width: 0pt 0.5pt 0pt 0.5pt;
    border-style: solid; }
  .paper table {
    margin: 0pt 0pt 12pt 0pt;
    border-collapse: collapse; }
  .paper tbody, .paper thead {
    border: 0.5pt solid black; }
  .paper blockquote {
    margin: 6pt 0pt 6pt 24pt; }
  .paper code {
    font-family: monospace;
    line-height: 12pt; }
  .paper figure {
    text-align: center;
    margin: 6pt 0pt 12pt 0pt;
    font-size: 10pt; }
    .paper figure figcaption {
      font-style: italic; }

ul.horizontal li {
  padding: 0pt 0pt 0pt 12pt;
  display: inline; }

.obf {
  display: none; }

.navbar {
  display: block;
  border: 1px solid red;
  vertical-align: top; }

.content {
  display: inline-block;
  border: 1px solid blue;
  width: 60em;
  vertical-align: top; }

.block {
  display: block; }

.right {
  display: inline-block;
  float: right; }

.skip {
  display: block;
  width: 0pt;
  height: 12pt; }

ul.posts {
  list-style: none; }
  ul.posts li {
    padding: 0pt 0pt 12pt 0pt; }
    ul.posts li .summary {
      padding: 0pt 0pt 0pt 14pt;
      font-style: italic; }

ul.bullets {
  list-style: disc; }
  ul.bullets li {
    padding: 0pt 0pt 12pt 0pt; }
    ul.bullets li .summary {
      padding: 0pt 0pt 0pt 14pt;
      font-style: italic; }

.dashline {
  display: block;
  width: 79.5ex;
  overflow: hidden; }