summaryrefslogtreecommitdiff
path: root/docs/reference/webhelper/eos.css
diff options
context:
space:
mode:
Diffstat (limited to 'docs/reference/webhelper/eos.css')
-rw-r--r--docs/reference/webhelper/eos.css46
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