diff options
author | Philip Chimento <philip@endlessm.com> | 2013-10-07 14:49:58 -0700 |
---|---|---|
committer | Philip Chimento <philip@endlessm.com> | 2013-10-07 14:49:58 -0700 |
commit | 94f36c68267417104128884823fbd90768d9e979 (patch) | |
tree | c7498838c76680cceed842e205430f8e03134e3c /docs/reference/webhelper/eos.css | |
parent | cce1fed638f7221baa3e359284f17f02b9ca923b (diff) |
Forgot to rename eos.css.in
Pushing directly to dev, because it is holding up the build.
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 |