@import url(html4css1.css);

h1.delight {
  font-size: 800%;
  margin: 0;
  padding: 0;
  text-align: right;
  font-style: italic;
  font-family: serif;
  letter-spacing: .1em;
}

h1.title {
  text-align: left;
}

html, body {
  background: #fffff8;
}

div.document {
  max-width: 50em;
  margin-left: 2em;
  margin-right: 2em;
  color: black;
}

h2.author {
  text-align: right;
  color: black;
  font-size: small;
}

div.section {
  margin-bottom: 4em;
}

h1, h2, h3, h4 {
  color: #FFBF00;
}

a.reference {
  text-decoration: none ;
  font-weight: bold;
  color: #04f;
}

img.graph {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

img.logo {
  border: 0;
  margin-top: 1em;
  margin-bottom: 1em;
}

pre.literal-block {
  background: black;
  color: white;
  font-weight: bold;
  padding: .4em;
  overflow: auto;
}

table.menu {
  width: 100%;
  text-align: center;
  border-collapse: collapse;
}

table.menu td {
  width: 25%;
  border: none;
}

table.menu a {
  display: block;
  background: #FFBF00;
  text-decoration: none ;
  font-weight: bold;
  color: white;
}

table.menu a.current {
  background: red;
}

table.menu a:hover {
  background: black;
}

div.highlight pre { padding: .8em; font-size: 150%;}
pre.dlt { line-height: 125%; padding-left: 1.2em; padding-top: 0.2em}
div.highlight pre  { border-left: .4em solid #FFBF00; }
pre .c { color: Blue; font-weight: bold; } /* Comment */
pre .err { border: 1px solid #FF0000 } /* Error */
pre .k { color: #0a0; font-weight: bold } /* Keyword */
pre .o { color: #666666 } /* Operator */
pre .cm { color: #408080; font-style: italic } /* Comment.Multiline */
pre .cp { color: #BC7A00 } /* Comment.Preproc */
pre .c1 { color: #408080; font-style: italic } /* Comment.Single */
pre .cs { color: #408080; font-style: italic } /* Comment.Special */
pre .gd { color: #A00000 } /* Generic.Deleted */
pre .ge { font-style: italic } /* Generic.Emph */
pre .gr { color: #FF0000 } /* Generic.Error */
pre .gh { color: #000080; font-weight: bold } /* Generic.Heading */
pre .gi { color: #00A000 } /* Generic.Inserted */
pre .go { color: #808080 } /* Generic.Output */
pre .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
pre .gs { font-weight: bold } /* Generic.Strong */
pre .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
pre .gt { color: #0040D0 } /* Generic.Traceback */
pre .kc { color: Magenta; } /* Keyword.Constant */
pre .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
pre .kp { color: #008000 } /* Keyword.Pseudo */
pre .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
pre .kt { color: #0a0; font-weight: bold } /* Keyword.Type */
pre .m { color: Magenta } /* Literal.Number */
pre .s { color: Magenta } /* Literal.String */
pre .na { color: #7D9029 } /* Name.Attribute */
pre .nb { color: #0a0; font-weight: bold } /* Name.Builtin */
pre .nc { } /* Name.Class */
pre .no { color: #880000 } /* Name.Constant */
pre .nd { color: #AA22FF } /* Name.Decorator */
pre .ni { color: #999999; font-weight: bold } /* Name.Entity */
pre .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
pre .nf { color: #0000FF } /* Name.Function */
pre .nl { color: #A0A000 } /* Name.Label */
pre .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
pre .nt { color: #008000; font-weight: bold } /* Name.Tag */
pre .nv { color: #19177C } /* Name.Variable */
pre .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
pre .w { color: #bbbbbb } /* Text.Whitespace */
pre .mf { color: #666666 } /* Literal.Number.Float */
pre .mh { color: Magenta } /* Literal.Number.Hex */
pre .mi { color: Magenta } /* Literal.Number.Integer */
pre .mo { color: #666666 } /* Literal.Number.Oct */
pre .sb { color: #BA2121 } /* Literal.String.Backtick */
pre .sc { color: #BA2121 } /* Literal.String.Char */
pre .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
pre .s2 { color: #BA2121 } /* Literal.String.Double */
pre .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
pre .sh { color: #BA2121 } /* Literal.String.Heredoc */
pre .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
pre .sx { color: #008000 } /* Literal.String.Other */
pre .sr { color: #BB6688 } /* Literal.String.Regex */
pre .s1 { color: #BA2121 } /* Literal.String.Single */
pre .ss { color: #19177C } /* Literal.String.Symbol */
pre .bp { color: #008000 } /* Name.Builtin.Pseudo */
pre .vc { color: #19177C } /* Name.Variable.Class */
pre .vg { color: #19177C } /* Name.Variable.Global */
pre .vi { color: #19177C } /* Name.Variable.Instance */
pre .il { color: #666666 } /* Literal.Number.Integer.Long */