diff options
author | Mark Lentczner <markl@glyphic.com> | 2010-03-20 22:30:11 +0000 |
---|---|---|
committer | Mark Lentczner <markl@glyphic.com> | 2010-03-20 22:30:11 +0000 |
commit | 76ca41c4746073c0dc31acd0fb651d06bca4243f (patch) | |
tree | 808a6a1d89252c57e343bdcaff52512fc78b7151 /html/xhaddock.css | |
parent | 8771bb0a27598470f034c93128ac6848180f76b1 (diff) |
First, experimental XHTML rendering
switch to using the xhtml package
copied Html.hs to Xhtml.hs
and split into sub-modules under Haddock/Backends/Xhtml
and detabify
moved footer into div, got ready for iface change
headers converted to semantic markup
contents in semantic markup
summary as semantic markup
description in semantic markup, info block in header fixed
factored out rendering so during debug it can be readable
(see renderToString)
Diffstat (limited to 'html/xhaddock.css')
-rw-r--r-- | html/xhaddock.css | 286 |
1 files changed, 286 insertions, 0 deletions
diff --git a/html/xhaddock.css b/html/xhaddock.css new file mode 100644 index 00000000..4e22e196 --- /dev/null +++ b/html/xhaddock.css @@ -0,0 +1,286 @@ +* { + margin: 0; + padding: 0; +} + +body { + background-color: #ffffff; + color: #000000; + font-size: 100%; + font-family: sans-serif; + padding: 8px; +} + +a:link { color: #0000e0; text-decoration: none } +a:visited { color: #0000a0; text-decoration: none } +a:hover { background-color: #e0e0ff; text-decoration: none } + +/* <tt> font is a little too small in MSIE */ +tt { font-size: 100%; } +pre { font-size: 100%; } +span.keyword { text-decoration: underline; } + +h1 { + padding-top: 15px; + font-weight: bold; + font-size: 150% + } + +h2 { + padding-top: 10px; + font-weight: bold; + font-size: 130% + } + +h3 { + padding-top: 5px; + font-weight: bold; + font-size: 110% + } + +h4 { + font-weight: bold; + font-size: 100% + } + +p { + padding-top: 2px; + padding-left: 10px; + margin-bottom: 1em; +} + +pre { + padding-top: 2px; + padding-left: 20px; + margin-bottom: 1em; +} + +h1 + p, h2 + p, h3 + p, h4 + p { + margin-top: 1em; +} + +p.caption { + margin: 0; + padding: 0; +} + +div.package-header { + color: #ffffff; + padding: 5px 5px 5px 31px; + margin: 0 0 1px; + background: #000099 url(haskell_icon.gif) no-repeat 5px 6px; + position: relative; +} + +div.package-header a:link { color: #ffffff } +div.package-header a:visited { color: #ffff00 } +div.package-header a:hover { background-color: #6060ff; } +div.package-header ul.links li:hover { background-color: #6060ff; } + +ul.links { + list-style: none; + text-align: left; + position: absolute; + right: 5px; + top: 5px; + display: inline-table; +} + +ul.links li { + display: inline; + border-left-width: 1px; + border-left-color: #ffffff; + border-left-style: solid; + white-space: nowrap; + padding: 1px 5px; +} + +div.module-header { + background-color: #0077dd; + padding: 5px; + position: relative; + height: 3em; +} + +div.module-header p { + font-size: 200%; + height: 1.5em; + padding-top: .25em; +} + +dl.info { + color: #ffffff; + display: block; + position: absolute; + top: 3px; + right: 5px; +} + +dl.info dt { + float: left; + width: 5em; + font-weight: bold; + display: block; +} + +dl.info dd { + display: block; + padding-left: 6em; +} + +div.table-of-contents { + margin-top: 1em; + margin-bottom: 1em; +} + +div.table-of-contents p { + font-weight: bold; +} + +div.table-of-contents ul { + margin-top: 1em; + margin-bottom: 1em; + list-style-type: none; +} + +div.table-of-contents ul ul { + margin-left: 2.5em; +} + +ul.synopsis { + margin-top: 1em; + margin-bottom: 1em; +} +ul.synopsis li { + background-color: #f0f0f0; + font-family: monospace; + vertical-align: top; + margin-top: 8px; + margin-bottom: 8px; + padding: 2px; + margin-left: 10px; + list-style-type: none; +} + + +p.decl { + padding: 3px; + background-color: #f0f0f0; + font-family: monospace; + margin-bottom: 0; +} + + +p.decl a.link { + float: right; + border-left-width: 1px; + border-left-color: #000099; + border-left-style: solid; + white-space: nowrap; + font-size: small; + padding: 0 4px 2px 5px; +} + +p.arg { + margin-bottom: 0; +} +p.arg span { + background-color: #f0f0f0; + font-family: monospace; + white-space: nowrap; + float: none; +} + +p.inst-header { + font-weight: bold; + margin-bottom: 0; +} + +p.inst-header img { + width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em +} + +ul.int { + margin-top: 1em; + margin-bottom: 1em; +} +ul.inst li { + background-color: #f0f0f0; + font-family: monospace; + vertical-align: top; + margin-top: 1px; + margin-bottom: 1px; + padding: 2px; + margin-left: 20px; + list-style-type: none; +} + + + +div.bottom { + background-color: #000099; + color: #ffffff; + padding: 5px + } +div.bottom a:link { + color: #ffffff; + text-decoration: underline + } +div.bottom a:visited { + color: #ffff00 + } +div.bottom a:hover { + background-color: #6060ff + } + +/* @group Original Selectors */ + +/* --------- Contents page ---------- */ + +div.node { + padding-left: 3em; +} + +div.cnode { + padding-left: 1.75em; +} + +span.pkg { + position: absolute; + left: 50em; +} + +/* --------- Mini Synopsis for Frame View --------- */ + +.outer { + margin: 0 0; + padding: 0 0; +} + +.mini-synopsis { + padding: 0.25em 0.25em; +} + +.mini-synopsis h1 { font-size: 130%; } +.mini-synopsis h2 { font-size: 110%; } +.mini-synopsis h3 { font-size: 100%; } +.mini-synopsis h1, .mini-synopsis h2, .mini-synopsis h3 { + margin-top: 0.5em; + margin-bottom: 0.25em; + padding: 0 0; +} + +.mini-synopsis h1 { border-bottom: 1px solid #ccc; } + +.mini-topbar { + font-size: 130%; + background: #0077dd; + padding: 0.25em; +} + +/* @end */ + + + + + |