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