1 html, body, iframe {

     2     margin: 0px;

     3     padding: 0px;

     4 }

     5 .document {

     6     max-width: 800px;

     7     margin: .5em auto;

     8     overflow: hidden;

     9 }

    10 

    11 .header {

    12     font-size: 1.2em;

    13     text-align: center;

    14 }

    15 .header.small {

    16     font-size: 0.8em;

    17 }

    18 

    19 div.contents ul {

    20     max-width: 600px;

    21     margin: 0 auto;

    22 }

    23 div.contents ul ul {

    24     margin-left: 1em;

    25 }

    26 

    27 a {

    28     text-decoration:none;

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

    30 }

    31 a:hover { opacity: .5; }

    32 h1 a {

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

    34 }

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

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

    37 }

    38 h1 { text-align: center; }

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

    40 h2 + p:first-letter,

    41 h3 + p:first-letter,

    42 h4 + p:first-letter,

    43 h5 + p:first-letter {

    44     font-weight: bold;

    45 }

    46 

    47 blockquote {

    48     margin: 1em 0;

    49 }

    50 ul, ol {

    51     margin-left: 1em;

    52     padding-left: 1em;

    53 }

    54 dl {

    55     margin-left: 1em;

    56 }

    57 .formula {

    58     padding: 0 .5em;

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

    60 }

    61 div.formula {

    62     border: 1px;

    63     border-left-style: solid;

    64     border-right-style: solid;

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

    66 }

    67 .literal-block {

    68     margin: 0 0 0 1em;

    69     padding: 5px;

    70     border: 1px;

    71     border-style: solid;

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

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

    74     overflow: auto;

    75 }

    76 tt.literal {

    77     outline: 1px dotted orange;

    78     padding: 1px;

    79 }

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

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

    82 

    83 pre.code.keyword, pre.code.tag {

    84     color: blue;

    85 }

    86 pre.code.string, pre.code.preproc  {

    87     color: green;

    88 }

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

    90     color: brown;

    91 }

    92 pre.code.comment {

    93     color: magenta;

    94 }

    95 pre.code span.generic.prompt {

    96     color: magenta;

    97 }

    98 pre.code span.generic.output {

    99     color: gray;

   100 }

   101 

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

   103     padding: 0px;

   104     margin: 5px 0px;

   105     text-indent: 2em;

   106 }

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

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

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

   110 .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 {

   111     margin: 0px;

   112     padding: 5px 0px;

   113 }

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

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

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

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

   118     margin: 5px;

   119 }

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

   121     margin: 0 5px 5px 4em;

   122 }

   123 

   124 .def {

   125     font-family: monospace;

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

   127 }