diff options
author | Cosimo Cecchi <cosimoc@gnome.org> | 2017-04-12 18:23:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-12 18:23:07 -0700 |
commit | bd875ca5cacbb82691394ee689dd56dd04035832 (patch) | |
tree | e86d9c5ff13eaf6b7b5498d68624a413a18b544d /docs/reference/webhelper/eos.css | |
parent | 07be6b5e57ce61536b699934e023952509f42d21 (diff) | |
parent | e54bec3feb08b09de64945f72885c8c37258de60 (diff) |
Merge pull request #4164 from endlessm/T16203
build: Remove Webhelper
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 |