Return to index.css CVS log

Up to [cvsweb.bsd.lv] / mandoc

Annotation of mandoc/index.css, Revision 1.1

1.1     ! kristaps    1: body           { color: #333333;
        !             2:                  font-size: smaller;
        !             3:                  font-family: Verdana, Tahoma, Arial, sans-serif; }
        !             4:
        !             5: table.frame    { max-width: 800px;
        !             6:                  padding-left: 10px; }
        !             7:
        !             8: table          { padding-left: 40px; }
        !             9:
        !            10: p              { padding-left: 40px;
        !            11:                  text-align: justify; }
        !            12:
        !            13: h1             { font-weight: bold;
        !            14:                  font-size: small;
        !            15:                  font-family: Verdana, Tahoma, Arial, sans-serif; }
        !            16:
        !            17: h2             { font-weight: bold;
        !            18:                  font-size: small;
        !            19:                  padding-left: 20px;
        !            20:                  margin-bottom: 0px;
        !            21:                  font-family: Verdana, Tahoma, Arial, sans-serif; }
        !            22:
        !            23: div.clhead     { background-color: #E6E6FA; color: #000000; padding: 2px; font-weight: bold; }
        !            24:
        !            25: div.clbody     { margin-left: 2px; }
        !            26:
        !            27: ul.clbody      { margin-top: 4px; }
        !            28:
        !            29: span.rev       { color: #808080; }
        !            30:
        !            31: span.nm                { color: #000000; font-weight: bold; }
        !            32:
        !            33: span.attn      { color: #000000; font-weight: bold; }
        !            34:
        !            35: div.head       { border-bottom: 1px dotted #cccccc;
        !            36:                  padding-bottom: 5px;
        !            37:                  text-align: right; }
        !            38:
        !            39: div.foot       { border-top: 1px dotted #cccccc;
        !            40:                  padding-top: 5px;
        !            41:                  font-size: smaller;
        !            42:                  text-align: right; }
        !            43:
        !            44: a.external     { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }