@charset "utf-8";
/* O'Reilly Media, 2012; version 2.7 */
/* reset */
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, font, 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 {
    margin: 0;
    padding: 0;
    border: 0;
    outline: 0;
    font-size: 100%;
    vertical-align: baseline;
    background: transparent
    }
/* end reset */
@page {
    margin: 5px !important
    }
/* p margin */
p {
    margin: 8px 0 0;
    text-align: left
    }
/* inlines; code and monospace in the code section below */
span.bolditalic {
    font-weight: bold;
    font-style: italic
    }
strong, span.bold {
    font-weight: bold
    }
a.ulink, a.xref, a.email, a.link {
    text-decoration: none;
    color: #8e0012
    }
sup {
    /* bug in webkit? */
    font-size: x-small;
    vertical-align: super
    }
sub {
    font-size: smaller;
    vertical-align: sub
    }
span.underline {
    text-decoration: underline
    }
/* for Learning GNU Emacs, 3e */
/* added for special formatting in Regular Expressions Cookbook, 1e (9780596802783.EBOOK) */
/* added for special formatting in Bioinformatics Programming Using Python, 1e (9781449378677.EBOOK) */
/* added for special formatting in Working with Microsoft Visual Studio 2005, 1e (9780735649958.EBOOK) */
/* preserve whitespace in non-pre elements */
/* Used for special formatting in Using SQLite (9781449394042.EBOOK), which needs verbatim space preserved in a <dt> element, which cannot contain a pre */
/* See EBK-2920 */
/* headings */
h1 {
    font-size: 1.5em;
    font-weight: bold;
    font-family: sans-serif, DejaVuSans;
    margin-top: 20px !important
    }
h2 {
    font-size: 1.3em;
    font-weight: bold;
    font-family: sans-serif, DejaVuSans;
    color: #8e0012;
    margin: 15px 0 8px 0 !important
    }
h3 {
    font-size: 1.1em;
    font-weight: bold;
    font-family: sans-serif, DejaVuSans;
    margin: 10px 0 8px 0 !important
    }
/* Appropriate heading hyphenation suppression for different ereaders */
h1, h2, h3, h4 {
    -webkit-hyphens: none;
    hyphens: none;
    adobe-hyphenate: none;
    page-break-after: avoid
    }
div.titlepage {
    page-break-inside: avoid
    }
div.chapter > div.titlepage:first-child h1.title, div.preface > div.titlepage:first-child h1.title, div.appendix > div.titlepage:first-child h1.title {
    /* larger chapter title */
    font-size: 2em;
    line-height: 1;
    margin-bottom: 15px
    }
/* images  */
img {
    max-width: 95%;
    margin: 0 auto;
    padding: 0
    }
div.figure {
    margin: 10px 0 !important;
    text-align: center;
    -webkit-border-radius: 5px;
    border-radius: 5px;
    border: 1px solid #000;
    background-color: transparent;
    padding: 5px !important;
    page-break-inside: avoid
    }
div.figure p.title, div.informalfigure div.caption {
    font-size: 90%;
    text-align: center;
    font-weight: normal;
    font-style: italic;
    font-family: serif, DejaVuSerif;
    color: #000;
    padding: 5px !important;
    page-break-before: avoid;
    page-break-after: avoid
    }
div.informalfigure {
    text-align: center;
    padding: 5px 0 !important
    }
/* sidebars */
/* code */
pre {
    white-space: pre-wrap;
    font-family: "Ubuntu Mono", monospace;
    margin: 10px 0 10px 20px;
    font-size: 85%;
    display: block;
    -webkit-hyphens: none;
    hyphens: none;
    adobe-hyphenate: none
    }
code {
    font-family: "Ubuntu Mono", monospace
    }
code em, em code, pre em, em.replaceable {
    font-family: "Ubuntu Mono Ital", monospace;
    font-style: italic
    }
code strong, strong code, pre strong, strong.userinput {
    font-family: "Ubuntu Mono Bold", monospace;
    font-weight: bold
    }
div.example {
    margin: 10px 0 15px 0 !important
    }
div.example p.title {
    font-style: italic;
    font-weight: normal;
    font-family: serif, DejaVuSerif;
    margin: 10px 0 5px 0 !important
    }
div.example-contents pre.programlisting, div.example-contents pre.screen {
    margin: 0
    }
/* title and copyright page */
div.book div.titlepage h1.title {
    font-size: 3em;
    font-family: sans-serif, DejaVuSans;
    font-weight: bold;
    margin: 50px 0 10px 0 !important;
    line-height: 1;
    text-align: center
    }
div.book div.titlepage div.author h3 {
    font-size: 2em;
    font-family: sans-serif, DejaVuSans;
    font-weight: bold;
    color: #8e0012;
    margin: 50px 0 !important;
    text-align: center
    }
div.book div.titlepage div.publishername {
    margin-top: 60%;
    margin-bottom: 20px;
    text-align: center;
    font-size: 1.25em
    }
div.colophon h1.title {
    font-size: 1.3em;
    margin: 0 !important;
    font-family: serif, DejaVuSerif;
    font-weight: normal
    }
div.colophon div.author h3.author {
    font-size: 1.1em;
    font-family: serif, DejaVuSerif;
    margin: 10px 0 0 !important;
    font-weight: normal
    }
div.colophon div.publisher {
    margin-top: 10px
    }
div.colophon div.publisher p, div.colophon div.publisher span.publishername {
    margin: 0;
    font-size: 0.8em
    }
div.legalnotice p, div.timestamp p {
    font-size: 0.8em
    }
div.timestamp p {
    margin-top: 10pt
    }
div.colophon[title="About the Author"] h1.title, div.colophon[title="Colophon"] h1.title {
    font-size: 1.5em;
    margin: 0 !important;
    font-family: sans-serif, DejaVuSans;
    font-weight: bold
    }
/* epigraphs, blockquotes, attributions */
/* to work around bug */
/* footnotes */
/* refentries */
/* lists */
dt {
    padding-top: 10px !important;
    padding-bottom: 0 !important
    }
dd {
    margin-left: 1.5em !important
    }
dd, li {
    text-align: left
    }
ol {
    list-style-type: decimal;
    margin-top: 8px !important;
    margin-bottom: 8px !important;
    margin-left: 20px !important;
    padding-left: 25px !important
    }
ul {
    list-style-type: square;
    margin-top: 8px !important;
    margin-bottom: 8px !important;
    margin-left: 5px !important;
    padding-left: 20px !important
    }
table.simplelist {
    margin-left: 20px !important;
    margin-bottom: 10px
    }
table.simplelist td {
    border: none;
    font-size: 90%
    }
table.simplelist tr {
    border-bottom: none
    }
table.simplelist tr:nth-of-type(even) {
    background-color: transparent
    }
/* admonitions */
div.tip, div.note, div.warning, div.caution, div.important {
    margin: 10px 0 !important;
    -webkit-border-radius: 5px;
    border-radius: 5px;
    font-size: 90%;
    padding: 10px 8px 20px 8px !important;
    page-break-inside: avoid
    }
div.tip, div.note {
    border: 1px solid #6cafd0;
    background-color: transparent
    }
div.tip h3, div.note h3, div.warning h3, div.caution h3, div.important h3 {
    font: bold 90%;
    font-family: sans-serif, DejaVuSans;
    text-transform: uppercase;
    letter-spacing: 1px;
    text-align: center;
    margin: 4px 0 6px !important;
    color: #000
    }
/* tables */
div.table, table {
    margin: 10px auto !important;
    max-width: 95%;
    border-collapse: collapse;
    border-spacing: 0
    }
div.table, div.informaltable {
    page-break-inside: avoid
    }
tr {
    border-bottom: 1px solid #c3c3c3
    }
tr th {
    border-bottom: #9d9d9d 2px solid !important;
    border-top: #9d9d9d 2px solid !important
    }
tr:nth-of-type(even) {
    background-color: #f1f6fc
    }
th {
    font-family: sans-serif, DejaVuSans;
    color: #000;
    font-weight: bold
    }
td, th {
    padding: 0.3em;
    text-align: left;
    vertical-align: baseline;
    font-size: 80%
    }
div.informaltable table {
    margin: 10px auto !important
    }
div.informaltable table tr {
    border-bottom: none
    }
div.informaltable table tr:nth-of-type(even) {
    background-color: transparent
    }
div.informaltable td, div.informaltable th {
    border: #9d9d9d 1px solid
    }
div.table p.title {
    font-weight: normal;
    font-style: italic;
    font-family: serif, DejaVuSerif;
    margin: 20px 0 0 0 !important;
    text-align: center;
    padding: 0
    }
table code {
    font-size: smaller
    }
/* Equations */
/* inline images and math images used fallbacks from MathML */
div.informalequation {
    margin: 20px 0 20px 20px;
    width: 75%
    }
div.informalequation img {
    width: 75%
    }
/* index */
div.index {
    font-weight: bold
    }
div.index dt {
    line-height: 140%
    }
div.index a.indexterm {
    color: #8e0012
    }
/* syntax highlighting and coloring text in general */
/* legacy stuff */
/* Pygments with manni theme */
/* Comment */
/* Error */
/* Keyword */
/* Operator */
/* Comment.Multiline */
/* Comment.Preproc */
/* Comment.Single */
/* Comment.Special */
/* Generic.Deleted */
/* Generic.Emph */
/* Generic.Error */
/* Generic.Heading */
/* Generic.Inserted */
/* Overriding default manni style of #AAAAAA gray for Generic Output with #000000 black, which is better suited to ORM terminal output */
/* Generic.Output */
/* Generic.Prompt */
/* Generic.Strong */
/* Generic.Subheading */
/* Generic.Traceback */
/* Keyword.Constant */
/* Keyword.Declaration */
/* Keyword.Namespace */
/* Keyword.Pseudo */
/* Keyword.Reserved */
/* Keyword.Type */
/* Literal.Number */
/* Literal.String */
/* Name.Attribute */
/* Name.Builtin */
/* Name.Class */
/* Name.Constant */
/* Name.Decorator */
/* Name.Entity */
/* Name.Exception */
/* Name.Function */
/* Name.Label */
/* Name.Namespace */
/* Name.Tag */
/* Name.Variable */
/* Operator.Word */
/* Text.Whitespace */
/* Literal.Number.Float */
/* Literal.Number.Hex */
/* Literal.Number.Integer */
/* Literal.Number.Oct */
/* Literal.String.Backtick */
/* Literal.String.Char */
/* Literal.String.Doc */
/* Literal.String.Double */
/* Literal.String.Escape */
/* Literal.String.Heredoc */
/* Literal.String.Interpol */
/* Literal.String.Other */
/* Literal.String.Regex */
/* Literal.String.Single */
/* Overriding manni default yellow #FFCC33 with brown #AA6600, which is easier to read */
/* Literal.String.Symbol */
/* Name.Builtin.Pseudo */
/* Name.Variable.Class */
/* Name.Variable.Global */
/* Name.Variable.Instance */
/* Literal.Number.Integer.Long */
/* Sanders's additions to manni */
/* Generic */
/* Literal */
/* Literal.Date */
/* Name */
/* Name.Other */
/* Name.Property */
/* Punctuation */
/* Other */
/* Special handling for sampler TOC entry rendering */
/* keep this body statement last before custom placeholder */
body {
    font-family: serif, DejaVuSerif;
    text-align: left
    }
/* Placeholder for custom series CSS: DO NOT EDIT OR DELETE */
/* fonts (keep at bottom); using DejaVu Serif and Sans as a fallback for its rich set of glyphs */
@font-face {
    font-family: "DejaVuSerif";
    font-style: normal;
    font-weight: normal;
    src: url(DejaVuSerif.otf)
    }
@font-face {
    font-family: "DejaVuSans";
    font-style: bold;
    font-weight: normal;
    src: url(DejaVuSans-Bold.otf)
    }
@font-face {
    font-family: "Ubuntu Mono";
    font-weight: normal;
    font-style: normal;
    src: url(UbuntuMono-Regular.otf)
    }
@font-face {
    font-family: "Ubuntu Mono Bold";
    font-style: normal;
    font-weight: bold;
    src: url(UbuntuMono-Bold.otf)
    }
@font-face {
    font-family: "Ubuntu Mono Ital";
    font-weight: normal;
    font-style: italic;
    src: url(UbuntuMono-Italic.otf)
    }