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, 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