Changeset 621:a5de62d74eee in livinglogic.python.www for site

Show
Ignore:
Timestamp:
06/02/10 17:47:31 (9 years ago)
Author:
Walter Doerwald <walter@…>
Branch:
default
Message:

Update print stylesheet to the current HTML.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • site/main_print.css

    r316 r621  
    1 .noprint 
    2 { 
    3     display: none; 
    4 } 
    5  
    61body 
    72{ 
    83    background-color: #fff; 
    94    font-family: "Times New Roman", serif; 
    10     font-size: 11pt; 
    11     line-height: 14pt; 
    12     margin: 0cm 0cm 0cm 1cm; 
     5    font-size: 18pt; 
     6    line-height: 24pt; 
     7    margin: 1cm; 
    138    padding: 0pt; 
    149} 
    1510 
    16 table.body, 
    17 table.body>tr, 
    18 table.body>tbody>tr, 
    19 td.header2, 
    20 tr.content td.content 
    21 { 
    22     display: block; 
    23 } 
    24  
    25 td.header1, 
    26 td.header3, 
    27 tr.crumbs td, 
    28 tr.content td.links 
     11div.header h1 
     12{ 
     13    color: #069; 
     14    font-family: "Arial Narrow", "Tahoma", "Arial", "Verdana", "XHelvetica", "Helvetica", sans-serif; 
     15    font-weight: normal; 
     16    font-size: 36pt; 
     17    line-height: 42pt; 
     18    margin: 0 0 20pt 0; 
     19} 
     20 
     21div.header h2 
     22{ 
     23    color: #069; 
     24    font-family: "Arial Narrow", "Tahoma", "Arial", "Verdana", "XHelvetica", "Helvetica", sans-serif; 
     25    font-weight: normal; 
     26    font-size: 24pt; 
     27    line-height: 30pt; 
     28    margin: 0 0 20pt 0; 
     29} 
     30 
     31div.crumbs 
    2932{ 
    3033    display: none; 
     34} 
     35 
     36div.links 
     37{ 
     38    display: none; 
     39} 
     40 
     41div.body 
     42{ 
     43    width: 100%; 
     44} 
     45 
     46div.content 
     47{ 
     48    width: 100%; 
    3149} 
    3250 
     
    4058a 
    4159{ 
    42     text-decoration: none; 
     60    text-decoration: underline; 
    4361    color: inherit; 
    4462} 
    4563 
    46 div.links, div.backdrop, div.crumbs, tr.headers, tr.linie 
    47 { 
    48     display: none; 
     64a:link:not([href^="#"]):after 
     65{ 
     66    content: " ("attr(href)") "; 
     67    font-size: 80%; 
    4968} 
    5069 
     
    5675p, li 
    5776{ 
    58     font-size: 11pt; 
    59     line-height: 14pt; 
    60     margin: 1pt 0pt 4pt 0pt; 
     77    margin: 1pt 0pt 10pt 0pt; 
    6178    padding: 0pt; 
    6279} 
     
    7087} 
    7188 
    72 td.header2 h1 
    73 { 
    74     font-size: 200%; 
    75     margin-top: 0pt; 
    76     margin-bottom: 6pt; 
    77 } 
    78  
    79 td.header2 h2 
    80 { 
    81     font-size: 170%; 
    82     margin-top: 0pt; 
    83     margin-bottom: 6pt; 
    84 } 
    85  
    8689h1 
    8790{ 
    8891    font-size: 170%; 
    8992    margin-top: 20pt; 
    90     margin-bottom: 2pt; 
     93    margin-bottom: 1pt; 
    9194} 
    9295 
     
    112115} 
    113116 
    114 ol, ul 
    115 { 
    116     margin-top: 4pt; 
    117     margin-bottom: 4pt; 
     117ol, ul, dl 
     118{ 
     119    margin-top: 10pt; 
     120    margin-bottom: 10pt; 
    118121} 
    119122 
    120123li 
    121124{ 
    122     line-height: 14pt; 
     125    line-height: 24pt; 
    123126    margin-top: 0pt; 
    124127    margin-bottom: 0pt; 
     
    135138} 
    136139 
     140dl dt 
     141{ 
     142    page-break-after: avoid; 
     143} 
     144 
     145dl dd 
     146{ 
     147    page-break-before: avoid; 
     148} 
     149 
    137150.indent 
    138151{ 
    139     text-indent: 1.5em; 
     152    text-indent: 2em; 
    140153} 
    141154 
     
    149162{ 
    150163    font-style: normal; 
    151     font-size: 13px; 
    152     line-height: 16px; 
     164    font-size: 20pt; 
     165    line-height: 26pt; 
    153166} 
    154167 
    155168div.display 
    156169{ 
    157     margin-left: 1.5em; 
     170    margin-left: 2em; 
    158171    margin-top: 2pt; 
    159172    margin-bottom: 2pt; 
     
    168181table.downloads 
    169182{ 
    170     margin-left: 1.5em; 
    171     margin-right: 1.5em; 
     183    margin-left: 2em; 
     184    margin-right: 2em; 
    172185    margin-top: 4pt; 
    173     margin-bottom: 8pt; 
     186    margin-bottom: 10pt; 
    174187    font-size: 10pt; 
    175188    line-height: 12pt; 
     
    179192{ 
    180193    padding-bottom: 1px; 
    181     padding-top: 8pt; 
     194    padding-top: 10pt; 
    182195    border-bottom: 1px solid #999; 
    183196} 
     
    195208    font-size: 80%; 
    196209    font-weight: normal; 
    197     padding-right: 16px; 
     210    padding-right: 16pt; 
    198211    text-align: left; 
    199212} 
     
    244257} 
    245258 
    246 pre.prog 
    247 { 
    248     margin-left: 1.5em; 
    249     margin-right: 1.5em; 
    250     margin-top: 4pt; 
    251     margin-bottom: 4pt; 
    252     font-size: 75%; 
    253     line-height: 12pt; 
     259pre.litblock, pre.rpog 
     260{ 
     261    margin-left: 2em; 
     262    margin-right: 2em; 
     263    margin-top: 10pt; 
     264    margin-bottom: 10pt; 
     265    overflow: auto; 
    254266    border: 1px solid #eee; 
    255     background-color: #fafafa; 
    256     padding: 1pt 5pt 2pt 5pt; 
    257     overflow: auto; 
     267    padding: 2pt; 
    258268} 
    259269 
    260270div.example-title 
    261271{ 
    262     margin-top: -7pt; 
    263     margin-bottom: 4pt; 
    264     margin-right: 1.5em; 
     272    margin-top: -9pt; 
     273    margin-bottom: 10pt; 
     274    margin-right: 2em; 
    265275    font-size: 70%; 
    266276    color: #666; 
     
    313323div.method, div.function, div.property 
    314324{ 
    315     margin-left: 1.5em; 
     325    margin-left: 2em; 
    316326    margin-top: 0pt; 
    317327    margin-bottom: 6pt; 
     
    320330h1 code, h2 code, h3 code, h4 code, h5 code, h6 code 
    321331{ 
    322     letter-spacing: -1px; 
    323332} 
    324333 
     
    387396{ 
    388397} 
     398 
     399.noprint 
     400{ 
     401    display: none; 
     402}