diff options
Diffstat (limited to 'docs/reference/webhelper/eos.css')
-rw-r--r-- | docs/reference/webhelper/eos.css | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/docs/reference/webhelper/eos.css b/docs/reference/webhelper/eos.css new file mode 100644 index 0000000..7307859 --- /dev/null +++ b/docs/reference/webhelper/eos.css @@ -0,0 +1,46 @@ +* { + font-family: "Source Sans Pro"; +} + +p { + font-size: 16pt; + text-indent: 0; + margin-bottom: 1em; +} + +.STitle, +.CTitle, +.CGroup .CTitle { + font-size: 18pt; +} + +.CHeading { + font-size: 14pt; +} + +.SMain td, +.SClass td, +.STable, +.CDLEntry, +.CDLDescription { + font-size: 12pt; +} + +.ContentPage #Content, +.IndexPage #Index { + margin-left: 55ex; +} + +.ContentPage #Menu, +.IndexPage #Menu { + font-size: 12pt; + width: 41ex; +} + +.Prototype *, +.prettyprint *, +.CBody pre, +.CDLEntry { + font-family: "DejaVu Sans Mono"; + font-size: 13pt; +}
\ No newline at end of file |