Return to print.css CVS log

Up to [local] / prex / doc / html

Annotation of prex/doc/html/print.css, Revision 1.1.1.1

1.1       nbrk        1: html {
                      2:        height:100%;
                      3: }
                      4:
                      5: body {
                      6:        font-family: Verdana, Arial, Sans-Serif;
                      7:        padding: 0;
                      8:        margin: 0;
                      9:        color: black;
                     10: }
                     11:
                     12: #content {
                     13:        font-size: 82%;
                     14: }
                     15:
                     16: #header {
                     17:        display: none
                     18: }
                     19:
                     20: #side_menu {
                     21:        display: none
                     22: }
                     23:
                     24: #directory {
                     25:        display: none
                     26: }
                     27:
                     28: #info {
                     29:        display: none
                     30: }
                     31:
                     32: #info a {
                     33:        display: none
                     34: }
                     35:
                     36: #main {
                     37:        margin: 0;
                     38:        padding: 10px 20px 40px 20px;
                     39:        list-style-image: url(img/bullet.gif);
                     40: }
                     41:
                     42: #doc {
                     43:        margin: 0;
                     44:        padding: 10px 20px 40px 20px;
                     45:        list-style-image: url(img/bullet.gif);
                     46: }
                     47:
                     48: #footer {
                     49:        padding: 10px 0 0 0;
                     50:        font-size: 0.7em;
                     51:        line-height: 2em;
                     52:        color: #999;
                     53:        text-align: center;
                     54: }
                     55:
                     56: #bottom {
                     57:        display: none
                     58: }
                     59:
                     60:
                     61: h1, h2 {
                     62:        font-family: 'Trebuchet ms', Arial, Tahoma;
                     63: }
                     64:
                     65: h1 {
                     66:        padding: 0.4em 0 0.2em 0;
                     67:        margin: 0;
                     68:        font-size: 280%;
                     69:        color: #6699cc;
                     70: }
                     71:
                     72: h2 {
                     73:        padding:  0.4em 0 0 0;
                     74:        margin: 0 0 0.5em 0;
                     75:        font-size: 200%;
                     76:        border-bottom: 2px solid #fc9;
                     77:        color: #e60;
                     78: }
                     79:
                     80: h2 span {
                     81:        font-size: 77%;
                     82: }
                     83:
                     84: h3 {
                     85:        font-size: 131%;
                     86:        color: #333;
                     87:        margin: 1em 0 0.3em 0;
                     88: }
                     89:
                     90: h4 {
                     91:        font-size: 124%;
                     92:        margin: 1em 0 0.3em 0;
                     93: }
                     94:
                     95: a {
                     96:        text-decoration: none;
                     97:        color: blue;
                     98: }
                     99:
                    100:
                    101: pre {
                    102:        line-height: 1.3;
                    103:        font-size: 110%;
                    104:        margin: 1em 1em 1em 2em;
                    105:        border: 1px solid #c1b496;
                    106:        padding: 1em;
                    107:        background-color: #f6f5f0;
                    108:        color: black;
                    109: }
                    110:
                    111: pre.terminal {
                    112:        font-size: 110%;
                    113:        margin-left: 1em;
                    114:        padding: 0.6em;
                    115:        color: white;
                    116:        background-color: #333;
                    117:        border: 3px inset #999;
                    118: }
                    119:
                    120: pre.raw {
                    121:        font-size: 120%;
                    122:        line-height: 1.2;
                    123:        background-color: white;
                    124:        border: none;
                    125: }
                    126:
                    127: div.toplink {
                    128:        display: none
                    129: }
                    130:
                    131: div.morelink {
                    132:        display: none
                    133: }
                    134:
                    135: td.pad {
                    136:        display: none
                    137: }
                    138:
                    139: #main table {
                    140:        font-size: 100%;
                    141:        empty-cells: show;
                    142: }
                    143:
                    144: #main table tr th {
                    145:        padding: 4px 6px;
                    146:        background-color: #eee;
                    147: }
                    148:
                    149: #main table td {
                    150:        padding: 4px 6px;
                    151: }
                    152:
                    153: #main table.box td {
                    154:        padding: 15px;
                    155: }
                    156:
                    157: #doc table {
                    158:        font-size: 100%;
                    159:        empty-cells: show;
                    160: }
                    161:
                    162: #doc table tr th {
                    163:        padding: 4px 6px;
                    164:        background-color: #eee;
                    165: }
                    166:
                    167: #doc table td {
                    168:        padding: 4px 6px;
                    169: }
                    170:
                    171: #doc table.box td {
                    172:        padding: 15px;
                    173: }