123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106 |
- body {
- margin: auto;
- padding-right: 1em;
- padding-left: 1em;
- max-width: 44em;
- border-left: 1px solid black;
- border-right: 1px solid black;
- color: black;
- font-family: Verdana, sans-serif;
- font-size: 100%;
- line-height: 140%;
- color: #333;
- }
- pre {
- border: 1px dotted gray;
- background-color: #ececec;
- color: #1111111;
- padding: 0.5em;
- }
- code {
- font-family: monospace;
- line-height: 115%
- }
- h1 a, h2 a, h3 a, h4 a, h5 a {
- text-decoration: none;
- color: #424242;
- }
- h1, h2, h3, h4, h5 { font-family: verdana;
- font-weight: bold;
- color: #424242; }
- h1 {
- font-size: 150%;
- border-bottom: 3px solid black;
- }
-
- h2 {
- font-size: 110%;
- border-bottom: 1px solid black;
- }
-
- h3 {
- font-size: 90%;
- border-bottom: 1px dotted black;
-
- }
-
- h4 {
- font-size: 80%;
- font-style: italic;
- }
-
- h5 {
- font-size: 80%;
- font-style: italic;
- }
-
- table {
- width: 100%;
- background-color: #acacac;
- text-align:left;
- }
-
- table .odd {
- background-color: #fcfcfc;
- }
-
- table .even {
- background-color: #ececec;
- }
-
-
- h1.title {
- font-size: 200%;
- font-weight: bold;
- padding-top: 0.2em;
- padding-bottom: 0.2em;
- text-align: left;
- border: none;
- }
-
- dt code {
- font-weight: bold;
- }
- dd p {
- margin-top: 0;
- }
-
- #footer {
- padding-top: 1em;
- font-size: 70%;
- color: gray;
- text-align: center;
- }
-
- /* specify the height of example blocks (<pre>'s inside of <div class="cod">) */
- .cod pre
- {
- line-height: 115%;
- }
-
- /* control the kw index label column width */
- .kw_label_col {
- width:200px;
- max-width:200px;
- min-width:200px;
- }
|