Files
openide/plugins/htmltools/testData/highlighting/manual.css
Piotr Tomiak fd5710e37e WEB-59095 Open source HTML Tools plugin
GitOrigin-RevId: 9dfe3826d3acc25091af745f85fbe14826d9921f
2023-01-23 18:07:20 +00:00

20 lines
961 B
CSS

body { background-color:#FFFFFF; }
table { background-color:#F0F0F0; }
h1 { font-size:16pt; font-style:italic; font-weight:bold; font-family:arial,helvetica;
border-top-width:medium; border-top-style:solid; padding-top:5mm; margin-top:1cm; }
h2 { font-size:14pt; font-style:italic; font-weight:bold; font-family:arial,helvetica;
border-top-width:medium; border-top-style:solid; padding-top:5mm; margin-top:1cm; }
h3 { font-size:14pt; font-weight:bold; font-family:arial,helvetica; margin-top:1cm; }
h4 { font-size:12pt; font-family:arial,helvetica; }
SMALL.TINY { font-size:xx-small }
SMALL.SCRIPTSIZE { font-size:xx-small }
SMALL.FOOTNOTESIZE { font-size:x-small }
SMALL.SMALL { font-size:small }
BIG.LARGE { font-size:large }
BIG.XLARGE { font-size:x-large }
BIG.XXLARGE { font-size:xx-large }
BIG.HUGE { font-size:xx-large }
BIG.XHUGE { font-size:xx-large }