Return to style.css CVS log

Up to [cvsweb.bsd.lv] / mandoc

Annotation of mandoc/style.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: p              { margin-left: 40px;
        !             6:                  text-align: justify; }
        !             7:
        !             8: table          { margin-left: 40px; }
        !             9:
        !            10: ul             { margin-left: 40px; }
        !            11:
        !            12: p.boxed                { border: 1px solid #cccccc;
        !            13:                  margin-left: 40px;
        !            14:                  text-align: justify;
        !            15:                  padding: 2px;
        !            16:                  color: black; }
        !            17:
        !            18: h1             { font-weight: bold;
        !            19:                  font-size: small;
        !            20:                  font-family: Verdana, Tahoma, Arial, sans-serif; }
        !            21:
        !            22: h2             { font-weight: bold;
        !            23:                  font-size: small;
        !            24:                  margin-left: 20px;
        !            25:                  margin-bottom: 0px;
        !            26:                  font-family: Verdana, Tahoma, Arial, sans-serif; }
        !            27:
        !            28: h3             { font-size: small;
        !            29:                  font-weight: normal;
        !            30:                  margin-left: 20px;
        !            31:                  margin-bottom: 0px;
        !            32:                  font-family: Verdana, Tahoma, Arial, sans-serif; }
        !            33:
        !            34: span.man       { color: #000000; border-bottom: 1px dotted #999999; }
        !            35:
        !            36: span.path      { color: #000000; }
        !            37:
        !            38: span.nm                { color: #000000; font-weight: bold; }
        !            39:
        !            40: span.attn      { color: #000000; font-weight: bold; }
        !            41:
        !            42: div.head       { border-bottom: 1px dotted #cccccc;
        !            43:                  padding-bottom: 5px;
        !            44:                  text-align: right; }
        !            45:
        !            46: div.foot       { border-top: 1px dotted #cccccc;
        !            47:                  padding-top: 5px;
        !            48:                  font-size: smaller;
        !            49:                  text-align: right; }
        !            50:
        !            51: a.external     { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
        !            52: