javaclass

docs/styles.css

145:904c1223e3aa
2005-01-23 Paul Boddie Added notes about dispatcher methods.
     1 body {     2 background-color: white;     3 font-size: 12pt;     4 }     5      6 h1 {     7 color: navy;     8 font-family: sans-serif;     9 font-size: 20pt;    10 }    11     12 h2 {    13 color: navy;    14 font-family: sans-serif;    15 font-size: 18pt;    16 }    17     18 h3 {    19 color: navy;    20 font-family: sans-serif;    21 font-size: 16pt;    22 }    23     24 h4 {    25 color: navy;    26 font-family: sans-serif;    27 font-size: 15pt;    28 }    29     30 h5 {    31 color: navy;    32 font-family: sans-serif;    33 font-size: 14pt;    34 }    35     36 ul {    37 list-style-type: disc;    38 }    39     40 pre {    41 background-color: silver;    42 color: black;    43 }    44     45 p.prompt {    46 font-family: fixed;    47 background-color: silver;    48 color: black;    49 }    50     51 p.prompt:before {    52 content: "$ ";    53 }    54     55 p.result {    56 font-family: fixed;    57 background-color: white;    58 color: black;    59 margin-left: 1em;    60 }    61     62 p.python-prompt {    63 font-family: fixed;    64 background-color: silver;    65 color: black;    66 }    67     68 p.python-prompt:before {    69 content: ">>> ";    70 }    71     72 p.python-result {    73 font-family: fixed;    74 background-color: white;    75 color: black;    76 margin-left: 2em;    77 }