Return to print.css CVS log

Up to [local] / prex-old / doc / html

Annotation of prex-old/doc/html/print.css, Revision 1.1.1.1.2.1

1.1.1.1.2.1! nbrk        1: html {
        !             2:        height:100%;
        !             3: }
        !             4:
1.1       nbrk        5: body {
                      6:        font-family: Verdana, Arial, Sans-Serif;
                      7:        padding: 0;
                      8:        margin: 0;
                      9:        color: black;
                     10: }
                     11:
1.1.1.1.2.1! nbrk       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:
1.1       nbrk       61: h1, h2 {
                     62:        font-family: 'Trebuchet ms', Arial, Tahoma;
                     63: }
                     64:
                     65: h1 {
1.1.1.1.2.1! nbrk       66:        padding: 0.4em 0 0.2em 0;
1.1       nbrk       67:        margin: 0;
1.1.1.1.2.1! nbrk       68:        font-size: 280%;
1.1       nbrk       69:        color: #6699cc;
                     70: }
                     71:
                     72: h2 {
1.1.1.1.2.1! nbrk       73:        padding:  0.4em 0 0 0;
        !            74:        margin: 0 0 0.5em 0;
        !            75:        font-size: 200%;
1.1       nbrk       76:        border-bottom: 2px solid #fc9;
                     77:        color: #e60;
                     78: }
                     79:
                     80: h2 span {
1.1.1.1.2.1! nbrk       81:        font-size: 77%;
1.1       nbrk       82: }
                     83:
                     84: h3 {
1.1.1.1.2.1! nbrk       85:        font-size: 131%;
1.1       nbrk       86:        color: #333;
1.1.1.1.2.1! nbrk       87:        margin: 1em 0 0.3em 0;
        !            88: }
        !            89:
        !            90: h4 {
        !            91:        font-size: 124%;
        !            92:        margin: 1em 0 0.3em 0;
1.1       nbrk       93: }
                     94:
                     95: a {
                     96:        text-decoration: none;
                     97:        color: blue;
                     98: }
                     99:
                    100:
1.1.1.1.2.1! nbrk      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;
1.1       nbrk      109: }
                    110:
1.1.1.1.2.1! nbrk      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;
1.1       nbrk      118: }
                    119:
1.1.1.1.2.1! nbrk      120: pre.raw {
        !           121:        font-size: 120%;
        !           122:        line-height: 1.2;
        !           123:        background-color: white;
        !           124:        border: none;
1.1       nbrk      125: }
                    126:
1.1.1.1.2.1! nbrk      127: div.toplink {
1.1       nbrk      128:        display: none
                    129: }
                    130:
1.1.1.1.2.1! nbrk      131: div.morelink {
1.1       nbrk      132:        display: none
                    133: }
                    134:
1.1.1.1.2.1! nbrk      135: td.pad {
1.1       nbrk      136:        display: none
                    137: }
                    138:
1.1.1.1.2.1! nbrk      139: #main table {
        !           140:        font-size: 100%;
        !           141:        empty-cells: show;
1.1       nbrk      142: }
                    143:
1.1.1.1.2.1! nbrk      144: #main table tr th {
        !           145:        padding: 4px 6px;
        !           146:        background-color: #eee;
1.1       nbrk      147: }
                    148:
1.1.1.1.2.1! nbrk      149: #main table td {
        !           150:        padding: 4px 6px;
1.1       nbrk      151: }
                    152:
1.1.1.1.2.1! nbrk      153: #main table.box td {
        !           154:        padding: 15px;
1.1       nbrk      155: }
                    156:
1.1.1.1.2.1! nbrk      157: #doc table {
        !           158:        font-size: 100%;
1.1       nbrk      159:        empty-cells: show;
                    160: }
                    161:
1.1.1.1.2.1! nbrk      162: #doc table tr th {
        !           163:        padding: 4px 6px;
        !           164:        background-color: #eee;
1.1       nbrk      165: }
                    166:
1.1.1.1.2.1! nbrk      167: #doc table td {
        !           168:        padding: 4px 6px;
1.1       nbrk      169: }
                    170:
1.1.1.1.2.1! nbrk      171: #doc table.box td {
        !           172:        padding: 15px;
1.1       nbrk      173: }