1 html, body, iframe {

     2     margin: 0px;

     3     padding: 0px;

     4 }

     5 iframe {

     6     overflow: hidden;

     7 }

     8 .document {

     9     max-width: 800px;

    10     margin: .5em auto;

    11     padding-left: 190px;

    12     padding-right: 10px;

    13     overflow: hidden;

    14 }

    15 #sidebar { position: fixed; }

    16 iframe { border: none; }

    17 #sidebar, iframe {

    18     top: 0;

    19     left: 0;

    20     width: 180px;

    21     height: 100%;

    22 }

    23 @media (max-width: 780px) {

    24     .document {

    25         margin: 5px 10px 1em 10px;

    26         padding: 0;

    27     }

    28     #sidebar { position: inherit; }

    29     #sidebar, iframe {

    30         width: 100%;

    31         height: 7em;

    32     }

    33 }

    34 

    35 .header {

    36     font-size: 1.2em;

    37     text-align: center;

    38 }

    39 .header.small {

    40     font-size: 0.8em;

    41 }

    42 

    43 div.contents ul {

    44     max-width: 600px;

    45     margin: 0 auto;

    46 }

    47 div.contents ul ul {

    48     margin-left: 1em;

    49 }

    50 

    51 a {

    52     text-decoration:none;

    53     color: hsl(240, 100%, 50%);

    54 }

    55 a:hover { opacity: .5; }

    56 h1 a {

    57     color: hsla(0, 0%, 0%, .8);

    58 }

    59 h2 a, h3 a, h4 a, .contents a {

    60     color: hsl(0, 100%, 25%);

    61 }

    62 h1 { text-align: center; }

    63 div > p:first-child:first-letter,

    64 h2 + p:first-letter,

    65 h3 + p:first-letter,

    66 h4 + p:first-letter,

    67 h5 + p:first-letter {

    68     font-weight: bold;

    69 }

    70 

    71 blockquote {

    72     margin: 1em 0;

    73 }

    74 ul, ol {

    75     margin-left: 1em;

    76     padding-left: 1em;

    77 }

    78 dl {

    79     margin-left: 1em;

    80 }

    81 .formula {

    82     padding: 0 .5em;

    83     background-color: hsl(0, 10%, 95%);

    84 }

    85 div.formula {

    86     border: 1px;

    87     border-left-style: solid;

    88     border-right-style: solid;

    89     border-color: hsl(0, 100%, 25%);

    90 }

    91 .literal-block {

    92     margin: 0 0 0 1em;

    93     padding: 5px;

    94     border: 1px;

    95     border-style: solid;

    96     border-color: hsl(0, 100%, 25%);

    97     background-color: hsl(0, 10%, 95%);

    98     overflow: auto;

    99 }

   100 tt.literal {

   101     outline: 1px dotted orange;

   102     padding: 1px;

   103 }

   104 table { border-collapse:collapse; margin-left:auto; margin-right:auto; }

   105 table, tr, td { padding: 3px; border: 1px dotted maroon; background-color: cornsilk; }

   106 

   107 pre.code.keyword, pre.code.tag {

   108     color: blue;

   109 }

   110 pre.code.string, pre.code.preproc  {

   111     color: green;

   112 }

   113 pre.code.name.decorator, pre.code.literal {

   114     color: brown;

   115 }

   116 pre.code.comment {

   117     color: magenta;

   118 }

   119 pre.code span.generic.prompt {

   120     color: magenta;

   121 }

   122 pre.code span.generic.output {

   123     color: gray;

   124 }

   125 

   126 .attention, .caution, .danger, .error, .warning, .important, .hint, .note, .tip {

   127     padding: 0px;

   128     margin: 5px 0px;

   129     text-indent: 2em;

   130 }

   131 .hint, .note, .tip { border: green 1px solid; }

   132 .warning, .important { border: gold 1px solid; }

   133 .attention, .caution, .danger, .error { border: red 1px solid; }

   134 .attention p.first, .caution p.first, .danger p.first, .error p.first, .warning p.first, .important p.first, .hint p.first, .note p.first, .tip p.first {

   135     margin: 0px;

   136     padding: 5px 0px;

   137 }

   138 .hint p.first, .note p.first, .tip p.first { background: rgb(176, 255, 176); }

   139 .warning p.first, .important p.first { background: rgb(255, 233, 176); }

   140 .attention p.first, .caution p.first, .danger p.first, .error p.first { background: rgb(255, 196, 180); }

   141 .attention p, .caution p, .danger p, .error p, .warning p, .important p, .hint p, .note p, .tip p {

   142     margin: 5px;

   143 }

   144 .attention pre, .caution pre, .danger pre, .error pre, .warning pre, .important pre, .hint pre, .note pre, .tip pre {

   145     margin: 0 5px 5px 4em;

   146 }

   147 

   148 .def {

   149     font-family: monospace;

   150     color: hsl(120, 100%, 25%);

   151 }