From 94f36c68267417104128884823fbd90768d9e979 Mon Sep 17 00:00:00 2001 From: Philip Chimento Date: Mon, 7 Oct 2013 14:49:58 -0700 Subject: Forgot to rename eos.css.in Pushing directly to dev, because it is holding up the build. --- docs/reference/webhelper/eos.css | 46 +++++++++++++++++++++++++++++++++++++ docs/reference/webhelper/eos.css.in | 46 ------------------------------------- 2 files changed, 46 insertions(+), 46 deletions(-) create mode 100644 docs/reference/webhelper/eos.css delete mode 100644 docs/reference/webhelper/eos.css.in (limited to 'docs') 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 diff --git a/docs/reference/webhelper/eos.css.in b/docs/reference/webhelper/eos.css.in deleted file mode 100644 index 7307859..0000000 --- a/docs/reference/webhelper/eos.css.in +++ /dev/null @@ -1,46 +0,0 @@ -* { - 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 -- cgit v1.2.3