/static/gmaj/docs/gmaj.css

 1/* pre { font-family: monospace; } */    /* recommended at http://www.w3.org/MarkUp/Guide/Style, */
 2                                         /* but confuses Mozilla */
 3body { color: black; background-color: white; background-repeat: no-repeat }
 4p.vvlarge { margin-top: 6ex; margin-bottom: 0 }
 5p.vlarge { margin-top: 4ex; margin-bottom: 0 }
 6p.large { margin-top: 3ex; margin-bottom: 0 }
 7p { margin-top: 2ex; margin-bottom: 0 }
 8p.small { margin-top: 1ex; margin-bottom: 0 }
 9p.tiny { margin-top: 0.5ex; margin-bottom: 0 }
10p.hdr { margin-top: 3ex; margin-bottom: 0 }
11p.subhdr { margin-top: 2.5ex; margin-bottom: 0 }
12p.right { text-align: right; margin-right: 1ex }
13p.scrollspace { margin-top: 100em; margin-bottom: 0 }
14/* tbody { text-align: left; vertical-align: baseline } */
15ul.lessindent { padding-left: 4ex }
16img.lower { vertical-align: -3ex }
17code { padding-left: 0.5ex; padding-right: 0.5ex }
18.smallfont { font-size: smaller }
19.baseline { vertical-align: baseline }
20.notop { margin-top: 0 }
21.nobottom { margin-bottom: 0 }