body {
    font-family: Helvetica;
    line-height: 1.35;
}

header {
    max-width: 42em;
    margin: 0 auto;
}

section {
    max-width: 42em;
    margin: 0 auto;
}

a {
    color: #428bca;
    text-decoration: none;
}

a:hover,
a:focus {
    color: #2a6496;
    text-decoration: underline;
}

a:focus {
    outline: thin dotted;
    outline: 5px auto -webkit-focus-ring-color;
    outline-offset: -2px;
}

.commentary {
    background-color: #eaf9ff;
    border: 1px solid #444f54;
    color: #444f54;
    font-size: 80%;
    margin: auto 26px;
    padding: 0 0.6em;
}

.commentary p {
    margin: 0.6em auto;
}

.todo {
    color: #800;
    font-style: italic;
}

pre, code {
  font-family: Menlo, Monaco, Consolas, monospace;
}

pre, pre code {
    white-space: pre;
}

code {
    padding: 2px 4px;
    font-size: 90%;
    color: #333333;
    white-space: nowrap;
    background-color: #f5f5f5;
    border-radius: 4px;
}

pre {
    overflow-x: auto;
    display: block;
    padding: 9.5px;
    margin: 0 0 10px;
    font-size: 13px;
    line-height: 1.428571429;
    color: #333333;
    word-break: break-all;
    word-wrap: break-word;
    background-color: #f5f5f5;
    border: 1px solid #cccccc;
    border-radius: 4px;
}

pre code {
    display: inline-block;
    padding: 0;
    font-size: inherit;
    color: inherit;
    white-space: pre-wrap;
    background-color: transparent;
    border-radius: 0;
}

img.yed {
    -moz-transform:scale(0.5);
    -webkit-transform:scale(0.5);
    transform:scale(0.5);
}

.highlight .err { color: #444; background-color: inherit } /* Error */

code.ref            { color: #008643 }
code.def            { color: #9f0000 }
code.push           { color: #83d8ad }
code.pop            { color: #e68e83 }
span.scope          { color: #a1408c; font-weight: bold; }
span.attached-scope { color: #a1408c }

.updated {
    font-size: 75%;
    color: #888;
}

.indent {
    margin-left: 26px;
}

table {
    border-collapse: collapse;
    font-size: 80%;
    margin: 2em 0;
}

th {
    border-bottom: 1px solid;
}

th, td {
    padding: 2px 1em;
}

strong.concept  { color: #008; font-weight: bold;   }
em.concept      { color: #008; font-style:  italic; }
strong.field    { color: #080; font-weight: bold;   }
em.field        { color: #080; font-style:  italic; }
strong.var      { color: #666; font-weight: bold;   }
em.var          { color: #666; font-style:  italic; }