mirror of
git://gcc.gnu.org/git/gcc.git
synced 2024-12-18 06:49:15 +08:00
7 lines
201 B
CSS
7 lines
201 B
CSS
|
.centered { text-align: center }
|
||
|
|
.tocheader { font-size: large }
|
||
|
|
.fineprint { font-size: x-small }
|
||
|
|
.larger { font-size: large }
|
||
|
|
BODY { background: #FFFFFF }
|
||
|
|
PRE { text-align: left ; margin-left: 1em }
|