From 54d85b9ee4c79679875dbb4b98f2eb12f46c606d Mon Sep 17 00:00:00 2001 From: Mark Lentczner Date: Mon, 26 Jul 2010 00:32:05 +0000 Subject: reorganize files in the html lib data dir --- haddock.cabal | 23 +- html/haddock-DEBUG.css | 173 ------------ html/haddock.css | 297 --------------------- html/haskell_icon.gif | Bin 911 -> 0 bytes html/hslogo-16.png | Bin 1684 -> 0 bytes html/minus.gif | Bin 56 -> 0 bytes html/nhaddock.css | 476 --------------------------------- html/plus.gif | Bin 59 -> 0 bytes html/s_haskell_icon.gif | Bin 607 -> 0 bytes html/shaddock.css | 462 -------------------------------- html/thaddock.css | 383 -------------------------- html/themes/Classic/haskell_icon.gif | Bin 0 -> 911 bytes html/themes/Classic/minus.gif | Bin 0 -> 56 bytes html/themes/Classic/plus.gif | Bin 0 -> 59 bytes html/themes/Classic/xhaddock.css | 488 ++++++++++++++++++++++++++++++++++ html/themes/Ocean/hslogo-16.png | Bin 0 -> 1684 bytes html/themes/Ocean/minus.gif | Bin 0 -> 56 bytes html/themes/Ocean/ocean.css | 476 +++++++++++++++++++++++++++++++++ html/themes/Ocean/plus.gif | Bin 0 -> 59 bytes html/themes/Snappy/minus.gif | Bin 0 -> 56 bytes html/themes/Snappy/plus.gif | Bin 0 -> 59 bytes html/themes/Snappy/s_haskell_icon.gif | Bin 0 -> 607 bytes html/themes/Snappy/snappy.css | 462 ++++++++++++++++++++++++++++++++ html/themes/Tibbe/haskell_icon.gif | Bin 0 -> 911 bytes html/themes/Tibbe/minus.gif | Bin 0 -> 56 bytes html/themes/Tibbe/plus.gif | Bin 0 -> 59 bytes html/themes/Tibbe/tibbe.css | 383 ++++++++++++++++++++++++++ html/xhaddock.css | 488 ---------------------------------- src/Haddock/Backends/Xhtml.hs | 2 +- src/Haddock/Backends/Xhtml/Themes.hs | 89 ++++--- src/Haddock/Backends/Xhtml/Utils.hs | 2 +- src/Haddock/Utils.hs | 6 +- 32 files changed, 1876 insertions(+), 2334 deletions(-) delete mode 100644 html/haddock-DEBUG.css delete mode 100644 html/haddock.css delete mode 100644 html/haskell_icon.gif delete mode 100644 html/hslogo-16.png delete mode 100644 html/minus.gif delete mode 100644 html/nhaddock.css delete mode 100644 html/plus.gif delete mode 100644 html/s_haskell_icon.gif delete mode 100644 html/shaddock.css delete mode 100644 html/thaddock.css create mode 100644 html/themes/Classic/haskell_icon.gif create mode 100644 html/themes/Classic/minus.gif create mode 100644 html/themes/Classic/plus.gif create mode 100644 html/themes/Classic/xhaddock.css create mode 100644 html/themes/Ocean/hslogo-16.png create mode 100644 html/themes/Ocean/minus.gif create mode 100644 html/themes/Ocean/ocean.css create mode 100644 html/themes/Ocean/plus.gif create mode 100644 html/themes/Snappy/minus.gif create mode 100644 html/themes/Snappy/plus.gif create mode 100644 html/themes/Snappy/s_haskell_icon.gif create mode 100644 html/themes/Snappy/snappy.css create mode 100644 html/themes/Tibbe/haskell_icon.gif create mode 100644 html/themes/Tibbe/minus.gif create mode 100644 html/themes/Tibbe/plus.gif create mode 100644 html/themes/Tibbe/tibbe.css delete mode 100644 html/xhaddock.css diff --git a/haddock.cabal b/haddock.cabal index 1ae9a656..0058cb59 100644 --- a/haddock.cabal +++ b/haddock.cabal @@ -50,13 +50,24 @@ extra-source-files: src/haddock.sh data-files: - html/haddock-DEBUG.css - html/haddock.css - html/haddock-util.js - html/haskell_icon.gif - html/minus.gif - html/plus.gif html/frames.html + html/haddock-util.js + html/themes/Classic/haskell_icon.gif + html/themes/Classic/minus.gif + html/themes/Classic/plus.gif + html/themes/Classic/xhaddock.css + html/themes/Ocean/hslogo-16.png + html/themes/Ocean/minus.gif + html/themes/Ocean/ocean.css + html/themes/Ocean/plus.gif + html/themes/Snappy/minus.gif + html/themes/Snappy/plus.gif + html/themes/Snappy/s_haskell_icon.gif + html/themes/Snappy/snappy.css + html/themes/Tibbe/haskell_icon.gif + html/themes/Tibbe/minus.gif + html/themes/Tibbe/plus.gif + html/themes/Tibbe/tibbe.css latex/haddock.sty flag in-ghc-tree diff --git a/html/haddock-DEBUG.css b/html/haddock-DEBUG.css deleted file mode 100644 index 06f4fc04..00000000 --- a/html/haddock-DEBUG.css +++ /dev/null @@ -1,173 +0,0 @@ -/* -------- Global things --------- */ - -BODY { - background-color: #ffffff; - color: #000000; - font-family: sans-serif; - } - -A:link { color: #0000e0; text-decoration: none } -A:visited { color: #0000a0; text-decoration: none } -A:hover { background-color: #e0e0ff; text-decoration: none } - -TABLE.vanilla { - width: 100%; - border-width: 0px; - background-color: #ffe0e0; - /* I can't seem to specify cellspacing or cellpadding properly using CSS... */ -} - -TD { - border-width: 0px; -} - -TABLE.narrow { - border-width: 0px; -} - -/* --------- Documentation elements ---------- */ - -TD.children { - padding-left: 25px; - } - -TD.synopsis { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace - } - -TD.decl { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace; - white-space: nowrap; - vertical-align: top; - } - -TD.recfield { padding-left: 20px } - -TD.doc { - padding-top: 2px; - padding-left: 10px; - background-color: #e0ffe0; - } - -TD.ndoc { - padding: 2px; - background-color: #e0ffe0; - } - -TD.rdoc { - padding: 2px; - padding-left: 10px; - background-color: #e0ffe0; - width: 100%; - } - -TD.body { - padding-left: 10px - } - -/* ------- Section Headings ------- */ - -TD.section1 { - padding-top: 15px; - font-weight: bold; - font-size: 150% - } - -TD.section2 { - padding-top: 10px; - font-weight: bold; - font-size: 130% - } - -TD.section3 { - padding-top: 5px; - font-weight: bold; - font-size: 110% - } - -TD.section4 { - font-weight: bold; - font-size: 100% - } - -/* -------------- The title bar at the top of the page */ - -TD.infohead { - color: #ffffff; - font-weight: bold; - padding-right: 10px; - text-align: left; -} - -TD.infoval { - color: #ffffff; - padding-right: 10px; - text-align: left; -} - -TD.topbar { - background-color: #000099; - padding: 5px; -} - -TD.title { - color: #ffffff; - padding-left: 10px; - width: 100% - } - -TD.topbut { - padding-left: 5px; - padding-right: 5px; - border-left-width: 1px; - border-left-color: #ffffff; - border-left-style: solid; - white-space: nowrap; - } - -TD.topbut A:link { - color: #ffffff - } - -TD.topbut A:visited { - color: #ffff00 - } - -TD.topbut A:hover { - background-color: #6060ff; - } - -TD.topbut:hover { - background-color: #6060ff - } - -TD.modulebar { - background-color: #0077dd; - padding: 5px; - border-top-width: 1px; - border-top-color: #ffffff; - border-top-style: solid; - } - -/* --------- The page footer --------- */ - -TD.botbar { - background-color: #000099; - color: #ffffff; - padding: 5px - } -TD.botbar A:link { - color: #ffffff; - text-decoration: underline - } -TD.botbar A:visited { - color: #ffff00 - } -TD.botbar A:hover { - background-color: #6060ff - } - diff --git a/html/haddock.css b/html/haddock.css deleted file mode 100644 index 35a078d1..00000000 --- a/html/haddock.css +++ /dev/null @@ -1,297 +0,0 @@ -/* -------- Global things --------- */ - -BODY { - background-color: #ffffff; - color: #000000; - font-family: sans-serif; - padding: 0 0; - } - -A:link { color: #0000e0; text-decoration: none } -A:visited { color: #0000a0; text-decoration: none } -A:hover { background-color: #e0e0ff; text-decoration: none } - -TABLE.vanilla { - width: 100%; - border-width: 0px; - /* I can't seem to specify cellspacing or cellpadding properly using CSS... */ -} - -TABLE.vanilla2 { - border-width: 0px; -} - -/* font is a little too small in MSIE */ -TT { font-size: 100%; } -PRE { font-size: 100%; } - -LI P { margin: 0pt } - -TD { - border-width: 0px; -} - -TABLE.narrow { - border-width: 0px; -} - -TD.s8 { height: 8px; } -TD.s15 { height: 15px; } - -SPAN.keyword { text-decoration: underline; } - -/* Resize the buttom image to match the text size */ -IMG.coll { width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em } - -/* --------- Contents page ---------- */ - -DIV.node { - padding-left: 3em; -} - -DIV.cnode { - padding-left: 1.75em; -} - -SPAN.pkg { - position: absolute; - left: 50em; -} - -/* --------- Documentation elements ---------- */ - -TD.children { - padding-left: 25px; - } - -TD.synopsis { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace - } - -TD.decl { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace; - vertical-align: top; - } - -TD.topdecl { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace; - vertical-align: top; -} - -TABLE.declbar { - border-spacing: 0px; - } - -TD.declname { - width: 100%; - } - -TD.declbut { - padding-left: 5px; - padding-right: 5px; - border-left-width: 1px; - border-left-color: #000099; - border-left-style: solid; - white-space: nowrap; - font-size: small; - } - -/* - arg is just like decl, except that wrapping is not allowed. It is - used for function and constructor arguments which have a text box - to the right, where if wrapping is allowed the text box squashes up - the declaration by wrapping it. -*/ -TD.arg { - padding: 2px; - background-color: #f0f0f0; - font-family: monospace; - vertical-align: top; - white-space: nowrap; - } - -TD.recfield { padding-left: 20px } - -TD.doc { - padding-top: 2px; - padding-left: 10px; - } - -TD.ndoc { - padding: 2px; - } - -TD.rdoc { - padding: 2px; - padding-left: 10px; - width: 100%; - } - -TD.body { - padding-left: 10px - } - -TD.pkg { - width: 100%; - padding-left: 10px -} - -TABLE.indexsearch TR.indexrow { - display: none; -} -TABLE.indexsearch TR.indexshow { - display: table-row; -} - -TD.indexentry { - vertical-align: top; - padding-right: 10px - } - -TD.indexannot { - vertical-align: top; - padding-left: 20px; - white-space: nowrap - } - -TD.indexlinks { - width: 100% - } - -/* ------- Section Headings ------- */ - -TD.section1 { - padding-top: 15px; - font-weight: bold; - font-size: 150% - } - -TD.section2 { - padding-top: 10px; - font-weight: bold; - font-size: 130% - } - -TD.section3 { - padding-top: 5px; - font-weight: bold; - font-size: 110% - } - -TD.section4 { - font-weight: bold; - font-size: 100% - } - -/* -------------- The title bar at the top of the page */ - -TD.infohead { - color: #ffffff; - font-weight: bold; - padding-right: 10px; - text-align: left; -} - -TD.infoval { - color: #ffffff; - padding-right: 10px; - text-align: left; -} - -TD.topbar { - background-color: #000099; - padding: 5px; -} - -TD.title { - color: #ffffff; - padding-left: 10px; - width: 100% - } - -TD.topbut { - padding-left: 5px; - padding-right: 5px; - border-left-width: 1px; - border-left-color: #ffffff; - border-left-style: solid; - white-space: nowrap; - } - -TD.topbut A:link { - color: #ffffff - } - -TD.topbut A:visited { - color: #ffff00 - } - -TD.topbut A:hover { - background-color: #6060ff; - } - -TD.topbut:hover { - background-color: #6060ff - } - -TD.modulebar { - background-color: #0077dd; - padding: 5px; - border-top-width: 1px; - border-top-color: #ffffff; - border-top-style: solid; - } - -/* --------- The page footer --------- */ - -TD.botbar { - background-color: #000099; - color: #ffffff; - padding: 5px - } -TD.botbar A:link { - color: #ffffff; - text-decoration: underline - } -TD.botbar A:visited { - color: #ffff00 - } -TD.botbar A:hover { - background-color: #6060ff - } - -/* --------- 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; -} - - diff --git a/html/haskell_icon.gif b/html/haskell_icon.gif deleted file mode 100644 index 10589f91..00000000 Binary files a/html/haskell_icon.gif and /dev/null differ diff --git a/html/hslogo-16.png b/html/hslogo-16.png deleted file mode 100644 index 0ff8579f..00000000 Binary files a/html/hslogo-16.png and /dev/null differ diff --git a/html/minus.gif b/html/minus.gif deleted file mode 100644 index 1deac2fe..00000000 Binary files a/html/minus.gif and /dev/null differ diff --git a/html/nhaddock.css b/html/nhaddock.css deleted file mode 100644 index f671a170..00000000 --- a/html/nhaddock.css +++ /dev/null @@ -1,476 +0,0 @@ -/* @group Fundamentals */ - -* { margin: 0; padding: 0 } - -/* Is this portable? */ -html { -/* background-color: #f4f7f9; */ - background-color: white; - width: 100%; -} - -body { - font-family: sans-serif; - background: white; - color: black; - text-align: left; - line-height: 1.4; -} - -p { margin: 0.5em 0; } - -ul { margin-left: 2em; } - -a { text-decoration: none; } -a:link { color: rgb(196,69,29); } -a:visited { color: rgb(171,105,84); } -a:hover { text-decoration:underline; } - -h1 { font-size: 150%; } -h2 { font-size: 130%; } -h3 { font-size: 120%; } -h4 { font-size: 110%; } -h5 { font-size: 105%; } - -/* a:hover { background: #D9CBB8; } */ - -/* @end */ - -/* @group Common */ - -.caption, h1, h2, h3, h4, h5, h6 { - font-weight: bold; - color: rgb(78,98,114); - margin: 0.8em 0 0.5em; -} - -* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { - margin-top: 4em; -} - -h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 { - margin-top: inherit; -} - -ul.links { - list-style: none; - text-align: left; - position: absolute; - right: 5px; - top: 5px; - display: inline-table; -} - -ul.links li { - display: inline; -/* border-left: 1px solid rgb(78,98,114); */ - white-space: nowrap; - padding: 0; -} - -ul.links li a { padding: 5px 10px; } - -.hide { display: none; } -.show { display: inherit; } -.clear { clear: both; } - -.collapser { - background: url(minus.gif) no-repeat 0 0.4em; -} -.expander { - background: url(plus.gif) no-repeat 0 0.4em; -} -.collapser, .expander { - padding-left: 14px; - margin-left: -14px; - cursor: pointer; -} - -pre { - padding: 0.5em; - margin: 0.5em 5em 0.5em 3em; - background: rgb(229,237,244); - overflow: auto; -} - -code { /* background: #f0f0f0; */ } - -.src { - font-family: monospace; - line-height: normal; - background: #f0f0f0; - padding: 0.2em 0.5em; -} - -.doc p, .doc pre { - margin-top: 1em; -} - -.keyword { font-weight: normal; } -.def { font-weight: bold; } - -img.coll { - width : 0.75em; - height: 0.75em; - margin: 0 0.5em 0 0; -} - - -/* @end */ - -/* @group Page Structure */ - -#content { - max-width: 50em; - margin: 0 auto; - padding: 0 1em; -} - -#package-header { - background: rgb(41,56,69); - border-top: 5px solid rgb(78,98,114); - color: #ddd; - padding: 5px; - position: relative; - text-align: left; -} - -#package-header .caption { - background: url(hslogo-16.png) no-repeat 0em; - color: white; - max-width: 48em; - margin: 0 auto; - font-weight: normal; - font-style: normal; - padding-left: 2em; -} - -#package-header a:link, #package-header a:visited { color: white; } -#package-header a:hover { background: rgb(78,98,114); } - -#module-header .caption { - color: rgb(78,98,114); - font-size: 200%; - font-weight: bold; - border-bottom: 1px solid #ddd; -} - -dl.info { - float: right; - padding: 0.5em 1em; - border: 1px solid #ddd; - font-size: 75%; - color: rgb(78,98,114); - background-color: #fff; - max-width: 20em; - margin-top: -6em; - margin-bottom: 1em; -} - -dl.info dt { - float: left; - width: 5em; - font-weight: bold; - display: block; -} - -dl.info dd { - display: block; - padding-left: 6em; -} - -div#style-menu-holder { - position: relative; - z-index: 2; - display: inline; -} - -#style-menu { - position: absolute; - z-index: 1; - overflow: visible; - background: #374c5e; - margin: 0; - text-align: center; - right: 0; - padding: 0; - top: 1.25em; -} - -#style-menu li { - display: list-item; - border-style: none; - margin: 0; - padding: 0; - color: #000; - list-style-type: none; -} - -#style-menu li + li { - border-top: 1px solid #919191; -} - -#style-menu a { - width: 6em; - padding: 3px; - display: block; -} - -#footer { - margin: 1em 0 0 0; - background: #ddd; - border-top: 1px solid #aaa; - padding: 0.5em; - color: #666; - text-align: center; -} - -/* @end */ - -/* @group Front Matter */ - -#table-of-contents { - float: right; - clear: right; - background: rgb(239,238,209); - border: 1px solid rgba(196,69,29,0.2); - font-size: 80%; - padding: 0.5em 1em; - position: relative; - top: 0em; /* use -5em to pull up into title area */ - margin: 0 0 1em 1em; - max-width: 20em; -} - -#table-of-contents .caption { - text-align: center; - margin: 0; -} - -#table-of-contents ul { - list-style: none; - margin-left: 0; -} - -#table-of-contents ul ul { - margin-left: 2em; -} - -#description .caption { - display: none; -} - -#synopsis { - position: fixed; - right: -21.5em; - font-size: 90%; - width: 22em; - height: 80%; - top: 5em; - padding: 0; - background-color: #fff2b2; -} - -#synopsis:hover { - right: 0; - background: none; -} - -#synopsis .caption, -#synopsis ul, -#synopsis ul li.src { - background-color: #fff2b2; - white-space: nowrap; -} - -#synopsis > * { - margin: 0 0 0 8px; - border-left: 1px solid rgb(196,69,29); -} - -#synopsis .caption { - border-top: 1px solid rgb(196,69,29); - padding-top: 0.5em; - padding-bottom: 0.5em; - text-align: center; -} - -#synopsis ul { - list-style: none; - height: 100%; - overflow: auto; - border-bottom: 1px solid rgb(196,69,29); - padding-left: 0.5em; -} - -#synopsis ul ul { - border: none; - overflow: hidden; -} - -/* @end */ - -/* @group Main Content */ - -#interface div.top { margin: 1em 0 0.5em 0; } - -#interface table { border-spacing: 2px; } -#interface td { - vertical-align: top; - padding-left: 0.5em; -} -#interface td.src { - white-space: nowrap; -} -#interface td.doc p { - margin: 0; -} -#interface td.doc p + p { - margin-top: 0.5em; -} - -#interface dt { - float: left; - clear: left; - display: block; - margin: 1px 0; -} - -#interface dd { - float: right; - width: 90%; - display: block; - padding-left: 0.5em; - margin-bottom: 0.5em; -} - -#interface dd p { - margin: 0; -} - -/* div.top code { border: 1px solid #ddd; } */ -.top p.src { - border-top: 1px solid #ccc; -} - -/* @group Left Margin */ - -.subs, .doc { - /* use this selector for one level of indent */ - padding-left: 2em; -} - -/* use these two for two levels of indent */ -/* -#description .doc, #interface div.top { - padding-left: 1.25em; -} - -div.top .subs, div.top .doc { - padding-left: 1.875em; -} -*/ -/* @end */ - -.arguments { - margin-top: -0.4em; -} -.arguments .caption { - display: none; -} - -.fields { padding-left: 1em; } - -.fields .caption { display: none; } - -.fields p { margin: 0 0; } - -/* this seems bulky to me -.methods, .constructors { - background: #f8f8f8; - border: 1px solid #eee; -} -*/ - -/* @end */ - -/* @group Auxillary Pages */ - -#mini { - font-size: 75%; - margin: 0 auto; - padding: 0 1em; -} - -#mini #module-header .caption { - font-size: 160%; -} - -#mini #interface h1, -#mini #interface h2, -#mini #interface h3, -#mini #interface h4 { - font-size: 130%; - margin: 1em 0 0; -} - -#mini #interface .top, -#mini #interface .src { - margin: 0; -} - -#mini #interface .src { - font-size: 120%; -} - -#mini #module-list ul { - list-style: none; - margin: 0; -} - -#alphabet ul { - list-style: none; - padding: 0; - margin: 0.5em 0 0; - text-align: center; -} - -#alphabet li { - display: inline; - margin: 0 0.25em; -} - -#alphabet a { - font-weight: bold; -} - -#index .caption, -#module-list .caption { font-size: 130%; } - -#index table { - margin-left: 2em; -} - -#index .src { - font-weight: bold; -} -#index .alt { - font-size: 70%; - font-style: italic; - padding-left: 2em; -} - -#index td + td { - padding-left: 1em; -} - -#module-list ul { - list-style: none; - margin: 0 0 0 2em; -} - -#module-list .package { - float: right; -} - -/* @end */ diff --git a/html/plus.gif b/html/plus.gif deleted file mode 100644 index 2d15c141..00000000 Binary files a/html/plus.gif and /dev/null differ diff --git a/html/s_haskell_icon.gif b/html/s_haskell_icon.gif deleted file mode 100644 index cb2a8158..00000000 Binary files a/html/s_haskell_icon.gif and /dev/null differ diff --git a/html/shaddock.css b/html/shaddock.css deleted file mode 100644 index 52215f93..00000000 --- a/html/shaddock.css +++ /dev/null @@ -1,462 +0,0 @@ -/* -------- Global things --------- */ - -@font-face { - font-family: 'DroidSerif'; - src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.eot'); - src: local('Droid Serif'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.woff') format('woff'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.ttf') format('truetype'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.svg#DroidSerif') format('svg'); -} - -@font-face { - font-family: 'DroidSerif'; - font-style: italic; - src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.eot'); - src: local('Droid Serif'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.woff') format('woff'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.ttf') format('truetype'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.svg#DroidSerif-Italic') format('svg'); -} - -@font-face { - font-family: 'DroidSerif'; - font-weight: bold; - src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.eot'); - src: local('Droid Serif'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.woff') format('woff'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.ttf') format('truetype'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.svg#DroidSerif-Bold') format('svg'); -} - -@font-face { - font-family: 'DroidSerif'; - src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.eot'); - font-weight: bold; - font-style: italic; - src: local('Droid Serif'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.woff') format('woff'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.ttf') format('truetype'), - url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.svg#DroidSerif-BoldItalic') format('svg'); -} - - - -html { - background-color: #f0f3ff; - width: 100%; -} - -body { - -moz-border-radius:5px; - -webkit-border-radius:5px; - width: 50em; - margin: 2em auto; - padding: 0; - background-color: #ffffff; - color: #000000; - font-size: 110%; - font-family: DroidSerif, Georgia, serif; - } - -div#content { - padding: 0 30px; -} - -div#module-header { - margin: 0 -30px; -} - - -a:link { color: #5200A3; text-decoration: none } -a:visited { color: #5200A3; text-decoration: none } -a:hover { color: #5200A3; text-decoration: none; border-bottom:#5200A3 dashed 1px; } - -table{ - border-spacing: 1px 1px; -} - -td { - border-width: 0px; - vertical-align: top; -} - -p { - margin-top: 0; - margin-bottom: 0.75em; - padding-left: 4px; - font-size: 95%; - line-height: 1.66; - } - -li p { margin: 0pt } - - -tt, pre, code { - font-family: Monaco, - "DejaVu Sans Mono", - "Bitstream Vera Sans Mono", - "Lucida Console", - monospace; - font-size: 90%; -} - -.src { - padding: 4px 8px; - background-color: #f0f0f0; - font-size: 80%; - font-family: Monaco, - "DejaVu Sans Mono", - "Bitstream Vera Sans Mono", - "Lucida Console", - monospace; - - vertical-align: top; - white-space: nowrap; -} - -.def { - font-weight: bold; -} - -ul { - padding: 0; -} - -ul ul { - padding-left: 30px; -} - -ul.links { - list-style: none; - position: absolute; - right: 1px; - top: 0; - margin: 0; -} - -ul.links li { - display: inline; - white-space: nowrap; -} - -.hide { display: none; } -.show { } -.collapser { - background: url(minus.gif) no-repeat 0 17px; -} -.expander { - background: url(plus.gif) no-repeat 0 17px; -} -.subs .collapser, .subs .expander { - padding-left: 14px; - margin-left: -14px; - cursor: pointer; -} - -/* Captions and Headers */ - -p.caption, h1, h2, h3, h4 { - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - margin: 0; - padding: 0; - font-size: inherit; - line-height: inherit; -} - -#package-header .caption { - font-size: 80%; - font-weight: bold; - padding-left: 26px; - padding-top: 2px; - padding-bottom: 3px; -} - -#module-header .caption { - font-weight: bold; letter-spacing: -0.02em; - font-size: 201%; - margin: 0; - padding: 0; -} - -h1, -#description .caption, -#synopsis .caption, -#index .caption, -#module-list .caption { - padding-top: 14px; - margin-bottom: 0; - font-weight: bold; - letter-spacing: -0.02em; - font-size: 140% - } - -h2 -{ - padding-top: 14px; - font-weight: bold; - letter-spacing: -0.02em; - font-size: 120% -} - -h3, -#mini #module-list .caption { - padding-top: 12px; - font-weight: bold; - letter-spacing: -0.02em; - font-size: 105% -} - -h4, -#table-of-contents .caption, -.constructors .caption, -.instances .caption, -.methods .caption { - font-weight: bold; - padding-top: 12px; - padding-bottom: 4px; - letter-spacing: -0.02em; - font-size: 90% -} - -.arguments .caption, -.fields .caption { - display: none; -} - -/* Per Section Styling */ - -#package-header { - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - background: #3465a4 url(s_haskell_icon.gif) no-repeat 4px 3px; - padding: 0; - -moz-border-radius-topleft:5px; - -moz-border-radius-topright:5px; - -webkit-border-radius-topleft:5px; - -webkit-border-radius-topright:5px; - position: relative; -} - -#package-header li { - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - padding-left: 5px; - padding-right: 5px; - border-left-width: 1px; - border-left-color: #ffffff; - border-left-style: solid; - letter-spacing: -0.02em; - font-weight: bold; -} - -#package-header a { color: #ffffff } -#package-header a:visited { color: #ffff00 } -#package-header a:hover { background-color: #C9D3DE; } -#package-header li:hover { background-color: #C9D3DE; } - -div#style-menu-holder { - position: relative; - z-index: 2; - display: inline; - margin: 0; - padding: 0; -} - -#style-menu { - position: absolute; - z-index: 1; - overflow: visible; - background-color: #3465a4; - margin: 0; - width: 6em; - text-align: center; - right: 0; - padding: 0 2px 1px; - border-left: 1px solid #fffffff; - border-right: 1px solid #fffffff; - border-bottom: 1px solid #fffffff; -} - -#style-menu li { - display: list-item; - border-style: none; - margin: 0; - padding: 3px; - color: #000; - list-style-type: none; -} - -#style-menu li + li { - border-top: 1px solid #ffffff; -} - -#module-header { - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - color: #141B24; - background-color: #C9D3DE; - padding: 5px; - border-top-width: 1px; - border-top-color: #ffffff; - border-top-style: solid; - -moz-border-radius-bottomleft:5px; - -moz-border-radius-bottomright:5px; - -webkit-border-radius-bottomleft:5px; - -webkit-border-radius-bottomright:5px; -} - -#module-header .info { - display: none; -} - -#table-of-contents, -#description, -#synopsis, -#footer { - margin-top: 15px; -} - -#table-of-contents ul { - font-size: 80%; - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - letter-spacing: -0.01em; - margin: 0; - list-style: none; -} - -#synopsis ul { - list-style: none; -} - -#synopsis .src, -.instances .src { - background-color: #FAFAFA; - border-bottom: #F2F2F2 solid 1px; - border-top: #FCFCFC solid 1px; -} - -.top { - padding: 20px 0 0.5ex 0; -} - -.top .src, -#interface .subs.methods .src { - border-spacing: 0px; - border-bottom:1px solid #d7d7df; - border-right:1px solid #d7d7df; - border-top:1px solid #f4f4f9; - border-left:1px solid #f4f4f9; - padding: 4px; -} - -#interface p + div { - margin-top: -15px -} - -.subs p { - margin: 0; -} - -#interface .subs .src { - padding: 2px 12px; - border: none; -} - -#interface .subs td + td { - font-style: italic; - font-size: 80%; - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; -} - -#interface .methods .src { - margin-top: 15px; -} -#interface .instances div { - margin: 0; - padding: 0; -} - -div.arguments { - padding-left: 0; - padding-top: 9px; -} - -.arguments table { - border-spacing: 0; -} - -#footer { - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - -moz-border-radius:5px; - -webkit-border-radius:5px; - background-color: #3465a4; - color: #ffffff; - padding: 5px -} - -#footer p { - margin: 0; -} - -#footer a:link { - color: #ffffff; - text-decoration: underline - } -#footer a:visited { - color: #ffff00 - } -#footer a:hover { - background-color: #6060ff - } - - -#alphabet ul { - list-style: none; - padding: 0; - margin: 0.5em 0 0; - font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; - font-weight: bold; -} - -#alphabet li { - display: inline; - margin: 0 0.25em; -} - -#alphabet a { - text-decoration: none; -} - -#index td { - background-color: #f0f0f0; - padding-left: 1em; - padding-right: 1em; -} -#index td.alt { - font-size: 70%; - font-style: italic; - padding-left: 3em; -} - - - -body#mini { - width: auto; - padding: 0; - background-color: #ffffff; - color: #000000; - font-size: 90%; - font-family: DroidSerif, Georgia, serif; - margin: 0.5em; -} - -#mini div { - padding: 0 10px; -} - -#module-list ul { - list-style: none; - margin-top: 0.5em; -} - -#module-list .package { - float: right; -} \ No newline at end of file diff --git a/html/thaddock.css b/html/thaddock.css deleted file mode 100644 index d92c269b..00000000 --- a/html/thaddock.css +++ /dev/null @@ -1,383 +0,0 @@ -html, body { - height:100%; - margin:0; - padding:0; -} - -body { - background-color:#FFFFFF; - color:#000000; - font-family:Helvetica,Arial,sans-serif; - font-size:small; - margin:3px 8px; - - max-width:956px; - padding-left:24px; -} - -#package-header { - background: #eaeaea url(haskell_icon.gif) no-repeat 5px 6px; - height: 2em; - margin: 0 0 0 -10px; - position: relative; -} - -#package-header .caption { - margin-left: 30px; - padding-top: 6px; -} - - - -div#style-menu-holder { - position: relative; - z-index: 2; - display: inline; -} - -#style-menu { - position: absolute; - z-index: 1; - overflow: visible; - background-color: #eaeaea; - margin: 0; - width: 6em; - text-align: center; - right: 0; - padding: 0 2px 1px; - border-left: 1px solid #919191; - border-right: 1px solid #919191; - border-bottom: 1px solid #919191; -} - -#style-menu li { - display: list-item; - border-style: none; - margin: 0; - padding: 3px; - color: #000; - list-style-type: none; -} - -#style-menu li + li { - border-top: 1px solid #919191; -} - -#module-header .caption { - background:transparent none repeat scroll 0 0; - border:medium none; - font-size: 170%; - line-height: 130%; - margin:0 0 0 -10px; - - background-color:#E5ECF9; - border-top:1px solid #3366CC; - padding:1px 3px; - font-weight: bold; - position: relative; -} - - -dl.info { - position: absolute; - display: block; - right: 1em; - top: 3em; - background-color:#FAFAFA; - border:1px solid #BBBBBB; - padding:0.99em; -} - -dl.info dt { - float: left; - clear: left; - width: 5em; - font-weight: bold; - margin: 0; - padding: 0; -} - -dl.info dd { - padding-left: 6em; - margin: 0; -} - -#description .caption, -#synopsis .caption, -h1 { - background-color:#E5ECF9; - border-top:1px solid #3366CC; - font-size:130%; - font-weight:bold; - margin:2em 0 0 -10px; - padding:1px 3px; - position:relative; -} - -#table-of-contents .caption, -h2 { - font-size:130%; - font-weight:bold; - margin:1.5em 0 0; - padding: 0; - top:0; -} - -#synopsis li.src * { - display: inline; -} - -#synopsis ul.subs, -#synopsis ul.subs li { - padding: 0 0 0 0.25em; - margin: 0; -} - -#footer { - color:#666666; - background-color: #eaeaea; - margin: 2em 0 0 -10px; - position: relative; -} - -#footer p { - margin: 0; - padding: 0.5em; - border-top: 1px solid #919191; -} - -ol, ul { - line-height:125%; - margin:0.5em 0 0 15px; - padding:0; -} - -li { - margin:0.3em 0 0 1.5em; - padding:0; -} - -p { - line-height:125%; - margin:0; - padding:1em 0 0; -} - -h1 + p, h2 + p, h3 + p, -pre + p, -p + p { - padding-top: 1em; -} - -code, pre { - color:#007000; - font-family:monospace; -} - -pre { - background-color:#FAFAFA; - border:1px solid #BBBBBB; - font-size:9pt; - line-height:125%; - margin:1em 0 0; - overflow:auto; - padding:0.99em; -} - -code { - font-size:10pt; -} - -a:link { - color:#0000CC; -} - -ul.links { - list-style: none; - position: absolute; - right: 1px; - top: 0; -} - -ul.links li { - display: inline; - white-space: nowrap; - padding: 0 10px; - border-left: 1px solid #919191; - margin: 0; -} - -dl { - line-height:125%; - margin:0; - padding:0; -} - -dt { - font-weight:normal; - margin:0.75em 0 0; - padding:0; -} - -dd { - font-weight:normal; - margin:0.4em 0 0 2em; - padding:0; -} - -.hide { display: none; } -.show { } -.collapser { - background: url(minus.gif) no-repeat 0 1.3em; -} -.expander { - background: url(plus.gif) no-repeat 0 1.3em; -} -.collapser, .expander { - padding-left: 14px; - margin-left: -14px; - cursor: pointer; -} - -.top { - margin:0.4em 0 0 2em; - padding:0; -} - -.top .src { - margin:0.75em 0 0 -2em; - padding:0; -} - -.top .subs .src { - margin-left: 0; -} - -.arguments .caption, -.fields .caption { - display: none; -} - -.associated-types, -.constructors, -.methods { - background-color:#FAFAFA; - border:1px solid #BBBBBB; - padding:0.99em; -} - -.subs .caption { - font-weight: bold; -} - -.subs td { - padding-right: 1em; - padding-left: 1em; -} - -#index .caption, -#module-list .caption { - font-size:130%; - font-weight:bold; - padding: 0; - top:0; - margin: 0.5em 0; -} - -#index table { - border-spacing: 0; -} -#index td { - padding-right: 1em; - border-top: 1px solid #eaeaea; - padding-top: 2px; - padding-bottom: 2px; -} - -#index td.alt { - padding-left: 2em; - font-style: italic; - font-size: 80%; -} - -#alphabet ul { - list-style: none; - padding: 0; - margin: 0.5em 0 0; -} - -#alphabet li { - display: inline; - margin: 0 0.25em; -} - -#alphabet a { - text-decoration: none; - font-weight: bold; -} - -.module { -} - -#mini { - padding: 0; - margin: 0 0 0 10px; -} - -#mini h1, #mini h2, #mini h3, #mini h4 { - margin-top: 0.5em; - color: #a9a9a9; -} - -#mini h1 { - background-color: #eff2f9; -} - -#module-list ul { - list-style: none; - padding: 0; - margin: 0; -} - -#module-list li { - margin: 0; - border-top: 1px solid #eaeaea; - padding: 2px 0 2px 1.4em; -} - -#module-list li .package { - float: right; -} - -#mini #interface .top, -#mini #interface .src { - margin-top: 2px; - font-weight: normal; - font-style: normal; -} - -#mini #interface .src a { - font-weight: bold; -} - -.keyword { - font-weight: bold; - font-family: monospace; -} - -#synopsis { - display: none; -} - -td p { - padding-top: 0; -} - -.src { - font-family: monospace; - font-size: larger; -} - -.def { - font-weight: bold; -} diff --git a/html/themes/Classic/haskell_icon.gif b/html/themes/Classic/haskell_icon.gif new file mode 100644 index 00000000..10589f91 Binary files /dev/null and b/html/themes/Classic/haskell_icon.gif differ diff --git a/html/themes/Classic/minus.gif b/html/themes/Classic/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/themes/Classic/minus.gif differ diff --git a/html/themes/Classic/plus.gif b/html/themes/Classic/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/themes/Classic/plus.gif differ diff --git a/html/themes/Classic/xhaddock.css b/html/themes/Classic/xhaddock.css new file mode 100644 index 00000000..35f4b469 --- /dev/null +++ b/html/themes/Classic/xhaddock.css @@ -0,0 +1,488 @@ +* { + 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 } + +/* font is a little too small in MSIE */ +tt { font-size: 100%; } +pre { font-size: 100%; } +.keyword { text-decoration: underline; } +.caption { + font-weight: bold; + margin: 0; + padding: 0; +} + +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, h5 { + font-weight: bold; + font-size: 100% + } + +h1, h2, h3, h4, h5 { + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +p { + padding-top: 2px; + padding-left: 10px; +} + +ul, ol, dl { + padding-top: 2px; + padding-left: 10px; + margin-left: 2.5em; +} + +pre { + padding-top: 2px; + padding-left: 20px; +} + +* + p, * + pre { + margin-top: 1em; +} +.caption + p, .src + p { + margin-top: 0; +} + +.def { + font-weight: bold; +} + +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; +} + +.hide { display: none; } +.show { } +.collapser { + background: url(minus.gif) no-repeat 0 0.3em; +} +.expander { + background: url(plus.gif) no-repeat 0 0.3em; +} +.collapser, .expander { + padding-left: 14px; + cursor: pointer; +} + +#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; +} + +#package-header .caption { + font-weight: normal; + font-style: normal; +} +#package-header a:link { color: #ffffff } +#package-header a:visited { color: #ffff00 } +#package-header a:hover { background-color: #6060ff; } +#package-header ul.links li:hover { background-color: #6060ff; } + +div#style-menu-holder { + position: relative; + z-index: 2; + display: inline; +} + +#style-menu { + position: absolute; + z-index: 1; + overflow: visible; + background-color: #000099; + margin: 0; + width: 6em; + text-align: center; + right: 0; + padding: 2px 2px 1px; +} + +#style-menu li { + display: list-item; + border-style: none; + margin: 0; + padding: 3px; + color: #000; + list-style-type: none; + border-top: 1px solid #ffffff; +} + +#module-header { + background-color: #0077dd; + padding: 5px; + position: relative; +} + +#module-header .caption { + font-size: 200%; + height: 1.5em; + padding-top: .25em; + font-weight: normal; + font-style: normal; +} + +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; +} + +#table-of-contents { + margin-top: 1em; + margin-bottom: 2em; +} + +#table-of-contents ul { + margin-top: 1em; + margin-bottom: 1em; + margin-left: 0; + list-style-type: none; + padding: 0; +} + +#table-of-contents ul ul { + margin-left: 2.5em; +} + +#description .caption, +#synopsis .caption, +#module-list .caption, +#index .caption { + padding-top: 15px; + font-weight: bold; + font-size: 150% +} + +#synopsis { + margin-bottom: 2em; +} + +#synopsis ul { + margin: 0; + padding-top: 0; + padding-left: 20px; + list-style-type: none; +} + +#synopsis li { + margin-top: 8px; + margin-bottom: 8px; + padding: 3px; +} + +#synopsis li li { + padding: 0; + margin-top: 0; + margin-bottom: 0; +} + + +div.top { + margin-top: 1em; + clear: left; + margin-bottom: 1em; +} + +div.top h5 { + margin-left: 10px; +} + + +.src { + padding: 3px; + background-color: #f0f0f0; + font-family: monospace; + margin-bottom: 0; +} + + +.src 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; +} + +div.subs { + margin-left: 10px; + clear: both; + margin-top: 2px; +} + +.subs dl { + margin-left: 0; +} + +.subs dl dl { + padding-left: 0; + padding-top: 4px; +} + +.subs dt { + float: left; + margin-right: 1em; + clear: left; +} + +.subs dd +{ + margin-bottom: 2px; + margin-top: 2px; +} + +.subs table { + margin-left: 10px; + border-spacing: 1px 1px; + margin-top: 4px; + margin-bottom: 4px; +} + +.subs table table { + margin-left: 0; +} + +.arguments .caption, +.fields .caption { + display: none; +} + +/* need extra .subs in the selector to make it override the rules for .subs and .subs table */ + +.subs.arguments { + margin: 0; +} + +.subs.arguments table { + border-spacing: 0; + margin-top: 0; + margin-bottom: 0; +} + +.subs.arguments td.src { + white-space: nowrap; +} + +.subs.arguments + p { + margin-top: 0; +} + +.subs.associated-types, +.subs.methods { + margin-left: 20px; +} + +.subs.associated-types .caption, +.subs.methods .caption { + margin-top: 0.5em; + margin-left: -10px; +} + +.subs.associated-types .src + .src, +.subs.methods .src + .src { + margin-top: 8px; +} + +p.arg { + margin-bottom: 0; +} +p.arg span { + background-color: #f0f0f0; + font-family: monospace; + white-space: nowrap; + float: none; +} + + +img.coll { + width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em +} + + +td.arg { + padding: 3px; + background-color: #f0f0f0; + font-family: monospace; + margin-bottom: 0; +} + +td.rdoc p { + margin-bottom: 0; +} + + + +#footer { + background-color: #000099; + color: #ffffff; + padding: 4px + } + +#footer p { + padding: 1px; + margin: 0; +} + +#footer a:link { + color: #ffffff; + text-decoration: underline + } +#footer a:visited { + color: #ffff00 + } +#footer a:hover { + background-color: #6060ff + } + + +#module-list ul { + list-style: none; + padding-bottom: 15px; + padding-left: 2px; + margin: 0; +} + +#module-list ul ul { + padding-bottom: 0; + padding-left: 20px; +} + +#module-list li .package { + float: right; +} +#mini #module-list .caption { + display: none; +} + +#index .caption { +} + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; +} + +#alphabet li { + display: inline; + margin: 0 0.2em; +} + +#index .src { + background: none; + font-family: inherit; +} + +#index td.alt { + padding-left: 2em; +} + +#index td { + padding-top: 2px; + padding-bottom: 1px; + padding-right: 1em; +} + + +#mini h1 { font-size: 130%; } +#mini h2 { font-size: 110%; } +#mini h3 { font-size: 100%; } +#mini h1, #mini h2, #mini h3 { + margin-top: 0.5em; + margin-bottom: 0.25em; + padding: 0 0; +} + +#mini h1 { border-bottom: 1px solid #ccc; } + +#mini #module-header { + margin: 0; + padding: 0; +} +#mini #module-header .caption { + font-size: 130%; + background: #0077dd; + padding: 0.25em; + height: inherit; + margin: 0; +} + +#mini #interface .top { + margin: 0; + padding: 0; +} +#mini #interface .src { + margin: 0; + padding: 0; + font-family: inherit; + background: inherit; +} + + + + diff --git a/html/themes/Ocean/hslogo-16.png b/html/themes/Ocean/hslogo-16.png new file mode 100644 index 00000000..0ff8579f Binary files /dev/null and b/html/themes/Ocean/hslogo-16.png differ diff --git a/html/themes/Ocean/minus.gif b/html/themes/Ocean/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/themes/Ocean/minus.gif differ diff --git a/html/themes/Ocean/ocean.css b/html/themes/Ocean/ocean.css new file mode 100644 index 00000000..f671a170 --- /dev/null +++ b/html/themes/Ocean/ocean.css @@ -0,0 +1,476 @@ +/* @group Fundamentals */ + +* { margin: 0; padding: 0 } + +/* Is this portable? */ +html { +/* background-color: #f4f7f9; */ + background-color: white; + width: 100%; +} + +body { + font-family: sans-serif; + background: white; + color: black; + text-align: left; + line-height: 1.4; +} + +p { margin: 0.5em 0; } + +ul { margin-left: 2em; } + +a { text-decoration: none; } +a:link { color: rgb(196,69,29); } +a:visited { color: rgb(171,105,84); } +a:hover { text-decoration:underline; } + +h1 { font-size: 150%; } +h2 { font-size: 130%; } +h3 { font-size: 120%; } +h4 { font-size: 110%; } +h5 { font-size: 105%; } + +/* a:hover { background: #D9CBB8; } */ + +/* @end */ + +/* @group Common */ + +.caption, h1, h2, h3, h4, h5, h6 { + font-weight: bold; + color: rgb(78,98,114); + margin: 0.8em 0 0.5em; +} + +* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { + margin-top: 4em; +} + +h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 { + margin-top: inherit; +} + +ul.links { + list-style: none; + text-align: left; + position: absolute; + right: 5px; + top: 5px; + display: inline-table; +} + +ul.links li { + display: inline; +/* border-left: 1px solid rgb(78,98,114); */ + white-space: nowrap; + padding: 0; +} + +ul.links li a { padding: 5px 10px; } + +.hide { display: none; } +.show { display: inherit; } +.clear { clear: both; } + +.collapser { + background: url(minus.gif) no-repeat 0 0.4em; +} +.expander { + background: url(plus.gif) no-repeat 0 0.4em; +} +.collapser, .expander { + padding-left: 14px; + margin-left: -14px; + cursor: pointer; +} + +pre { + padding: 0.5em; + margin: 0.5em 5em 0.5em 3em; + background: rgb(229,237,244); + overflow: auto; +} + +code { /* background: #f0f0f0; */ } + +.src { + font-family: monospace; + line-height: normal; + background: #f0f0f0; + padding: 0.2em 0.5em; +} + +.doc p, .doc pre { + margin-top: 1em; +} + +.keyword { font-weight: normal; } +.def { font-weight: bold; } + +img.coll { + width : 0.75em; + height: 0.75em; + margin: 0 0.5em 0 0; +} + + +/* @end */ + +/* @group Page Structure */ + +#content { + max-width: 50em; + margin: 0 auto; + padding: 0 1em; +} + +#package-header { + background: rgb(41,56,69); + border-top: 5px solid rgb(78,98,114); + color: #ddd; + padding: 5px; + position: relative; + text-align: left; +} + +#package-header .caption { + background: url(hslogo-16.png) no-repeat 0em; + color: white; + max-width: 48em; + margin: 0 auto; + font-weight: normal; + font-style: normal; + padding-left: 2em; +} + +#package-header a:link, #package-header a:visited { color: white; } +#package-header a:hover { background: rgb(78,98,114); } + +#module-header .caption { + color: rgb(78,98,114); + font-size: 200%; + font-weight: bold; + border-bottom: 1px solid #ddd; +} + +dl.info { + float: right; + padding: 0.5em 1em; + border: 1px solid #ddd; + font-size: 75%; + color: rgb(78,98,114); + background-color: #fff; + max-width: 20em; + margin-top: -6em; + margin-bottom: 1em; +} + +dl.info dt { + float: left; + width: 5em; + font-weight: bold; + display: block; +} + +dl.info dd { + display: block; + padding-left: 6em; +} + +div#style-menu-holder { + position: relative; + z-index: 2; + display: inline; +} + +#style-menu { + position: absolute; + z-index: 1; + overflow: visible; + background: #374c5e; + margin: 0; + text-align: center; + right: 0; + padding: 0; + top: 1.25em; +} + +#style-menu li { + display: list-item; + border-style: none; + margin: 0; + padding: 0; + color: #000; + list-style-type: none; +} + +#style-menu li + li { + border-top: 1px solid #919191; +} + +#style-menu a { + width: 6em; + padding: 3px; + display: block; +} + +#footer { + margin: 1em 0 0 0; + background: #ddd; + border-top: 1px solid #aaa; + padding: 0.5em; + color: #666; + text-align: center; +} + +/* @end */ + +/* @group Front Matter */ + +#table-of-contents { + float: right; + clear: right; + background: rgb(239,238,209); + border: 1px solid rgba(196,69,29,0.2); + font-size: 80%; + padding: 0.5em 1em; + position: relative; + top: 0em; /* use -5em to pull up into title area */ + margin: 0 0 1em 1em; + max-width: 20em; +} + +#table-of-contents .caption { + text-align: center; + margin: 0; +} + +#table-of-contents ul { + list-style: none; + margin-left: 0; +} + +#table-of-contents ul ul { + margin-left: 2em; +} + +#description .caption { + display: none; +} + +#synopsis { + position: fixed; + right: -21.5em; + font-size: 90%; + width: 22em; + height: 80%; + top: 5em; + padding: 0; + background-color: #fff2b2; +} + +#synopsis:hover { + right: 0; + background: none; +} + +#synopsis .caption, +#synopsis ul, +#synopsis ul li.src { + background-color: #fff2b2; + white-space: nowrap; +} + +#synopsis > * { + margin: 0 0 0 8px; + border-left: 1px solid rgb(196,69,29); +} + +#synopsis .caption { + border-top: 1px solid rgb(196,69,29); + padding-top: 0.5em; + padding-bottom: 0.5em; + text-align: center; +} + +#synopsis ul { + list-style: none; + height: 100%; + overflow: auto; + border-bottom: 1px solid rgb(196,69,29); + padding-left: 0.5em; +} + +#synopsis ul ul { + border: none; + overflow: hidden; +} + +/* @end */ + +/* @group Main Content */ + +#interface div.top { margin: 1em 0 0.5em 0; } + +#interface table { border-spacing: 2px; } +#interface td { + vertical-align: top; + padding-left: 0.5em; +} +#interface td.src { + white-space: nowrap; +} +#interface td.doc p { + margin: 0; +} +#interface td.doc p + p { + margin-top: 0.5em; +} + +#interface dt { + float: left; + clear: left; + display: block; + margin: 1px 0; +} + +#interface dd { + float: right; + width: 90%; + display: block; + padding-left: 0.5em; + margin-bottom: 0.5em; +} + +#interface dd p { + margin: 0; +} + +/* div.top code { border: 1px solid #ddd; } */ +.top p.src { + border-top: 1px solid #ccc; +} + +/* @group Left Margin */ + +.subs, .doc { + /* use this selector for one level of indent */ + padding-left: 2em; +} + +/* use these two for two levels of indent */ +/* +#description .doc, #interface div.top { + padding-left: 1.25em; +} + +div.top .subs, div.top .doc { + padding-left: 1.875em; +} +*/ +/* @end */ + +.arguments { + margin-top: -0.4em; +} +.arguments .caption { + display: none; +} + +.fields { padding-left: 1em; } + +.fields .caption { display: none; } + +.fields p { margin: 0 0; } + +/* this seems bulky to me +.methods, .constructors { + background: #f8f8f8; + border: 1px solid #eee; +} +*/ + +/* @end */ + +/* @group Auxillary Pages */ + +#mini { + font-size: 75%; + margin: 0 auto; + padding: 0 1em; +} + +#mini #module-header .caption { + font-size: 160%; +} + +#mini #interface h1, +#mini #interface h2, +#mini #interface h3, +#mini #interface h4 { + font-size: 130%; + margin: 1em 0 0; +} + +#mini #interface .top, +#mini #interface .src { + margin: 0; +} + +#mini #interface .src { + font-size: 120%; +} + +#mini #module-list ul { + list-style: none; + margin: 0; +} + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; + text-align: center; +} + +#alphabet li { + display: inline; + margin: 0 0.25em; +} + +#alphabet a { + font-weight: bold; +} + +#index .caption, +#module-list .caption { font-size: 130%; } + +#index table { + margin-left: 2em; +} + +#index .src { + font-weight: bold; +} +#index .alt { + font-size: 70%; + font-style: italic; + padding-left: 2em; +} + +#index td + td { + padding-left: 1em; +} + +#module-list ul { + list-style: none; + margin: 0 0 0 2em; +} + +#module-list .package { + float: right; +} + +/* @end */ diff --git a/html/themes/Ocean/plus.gif b/html/themes/Ocean/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/themes/Ocean/plus.gif differ diff --git a/html/themes/Snappy/minus.gif b/html/themes/Snappy/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/themes/Snappy/minus.gif differ diff --git a/html/themes/Snappy/plus.gif b/html/themes/Snappy/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/themes/Snappy/plus.gif differ diff --git a/html/themes/Snappy/s_haskell_icon.gif b/html/themes/Snappy/s_haskell_icon.gif new file mode 100644 index 00000000..cb2a8158 Binary files /dev/null and b/html/themes/Snappy/s_haskell_icon.gif differ diff --git a/html/themes/Snappy/snappy.css b/html/themes/Snappy/snappy.css new file mode 100644 index 00000000..52215f93 --- /dev/null +++ b/html/themes/Snappy/snappy.css @@ -0,0 +1,462 @@ +/* -------- Global things --------- */ + +@font-face { + font-family: 'DroidSerif'; + src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.eot'); + src: local('Droid Serif'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.woff') format('woff'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.ttf') format('truetype'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Regular.svg#DroidSerif') format('svg'); +} + +@font-face { + font-family: 'DroidSerif'; + font-style: italic; + src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.eot'); + src: local('Droid Serif'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.woff') format('woff'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.ttf') format('truetype'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Italic.svg#DroidSerif-Italic') format('svg'); +} + +@font-face { + font-family: 'DroidSerif'; + font-weight: bold; + src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.eot'); + src: local('Droid Serif'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.woff') format('woff'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.ttf') format('truetype'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-Bold.svg#DroidSerif-Bold') format('svg'); +} + +@font-face { + font-family: 'DroidSerif'; + src: url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.eot'); + font-weight: bold; + font-style: italic; + src: local('Droid Serif'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.woff') format('woff'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.ttf') format('truetype'), + url('http://snapframework.com/docs/latest/snap-core/fonts/DroidSerif-BoldItalic.svg#DroidSerif-BoldItalic') format('svg'); +} + + + +html { + background-color: #f0f3ff; + width: 100%; +} + +body { + -moz-border-radius:5px; + -webkit-border-radius:5px; + width: 50em; + margin: 2em auto; + padding: 0; + background-color: #ffffff; + color: #000000; + font-size: 110%; + font-family: DroidSerif, Georgia, serif; + } + +div#content { + padding: 0 30px; +} + +div#module-header { + margin: 0 -30px; +} + + +a:link { color: #5200A3; text-decoration: none } +a:visited { color: #5200A3; text-decoration: none } +a:hover { color: #5200A3; text-decoration: none; border-bottom:#5200A3 dashed 1px; } + +table{ + border-spacing: 1px 1px; +} + +td { + border-width: 0px; + vertical-align: top; +} + +p { + margin-top: 0; + margin-bottom: 0.75em; + padding-left: 4px; + font-size: 95%; + line-height: 1.66; + } + +li p { margin: 0pt } + + +tt, pre, code { + font-family: Monaco, + "DejaVu Sans Mono", + "Bitstream Vera Sans Mono", + "Lucida Console", + monospace; + font-size: 90%; +} + +.src { + padding: 4px 8px; + background-color: #f0f0f0; + font-size: 80%; + font-family: Monaco, + "DejaVu Sans Mono", + "Bitstream Vera Sans Mono", + "Lucida Console", + monospace; + + vertical-align: top; + white-space: nowrap; +} + +.def { + font-weight: bold; +} + +ul { + padding: 0; +} + +ul ul { + padding-left: 30px; +} + +ul.links { + list-style: none; + position: absolute; + right: 1px; + top: 0; + margin: 0; +} + +ul.links li { + display: inline; + white-space: nowrap; +} + +.hide { display: none; } +.show { } +.collapser { + background: url(minus.gif) no-repeat 0 17px; +} +.expander { + background: url(plus.gif) no-repeat 0 17px; +} +.subs .collapser, .subs .expander { + padding-left: 14px; + margin-left: -14px; + cursor: pointer; +} + +/* Captions and Headers */ + +p.caption, h1, h2, h3, h4 { + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + margin: 0; + padding: 0; + font-size: inherit; + line-height: inherit; +} + +#package-header .caption { + font-size: 80%; + font-weight: bold; + padding-left: 26px; + padding-top: 2px; + padding-bottom: 3px; +} + +#module-header .caption { + font-weight: bold; letter-spacing: -0.02em; + font-size: 201%; + margin: 0; + padding: 0; +} + +h1, +#description .caption, +#synopsis .caption, +#index .caption, +#module-list .caption { + padding-top: 14px; + margin-bottom: 0; + font-weight: bold; + letter-spacing: -0.02em; + font-size: 140% + } + +h2 +{ + padding-top: 14px; + font-weight: bold; + letter-spacing: -0.02em; + font-size: 120% +} + +h3, +#mini #module-list .caption { + padding-top: 12px; + font-weight: bold; + letter-spacing: -0.02em; + font-size: 105% +} + +h4, +#table-of-contents .caption, +.constructors .caption, +.instances .caption, +.methods .caption { + font-weight: bold; + padding-top: 12px; + padding-bottom: 4px; + letter-spacing: -0.02em; + font-size: 90% +} + +.arguments .caption, +.fields .caption { + display: none; +} + +/* Per Section Styling */ + +#package-header { + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + background: #3465a4 url(s_haskell_icon.gif) no-repeat 4px 3px; + padding: 0; + -moz-border-radius-topleft:5px; + -moz-border-radius-topright:5px; + -webkit-border-radius-topleft:5px; + -webkit-border-radius-topright:5px; + position: relative; +} + +#package-header li { + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + padding-left: 5px; + padding-right: 5px; + border-left-width: 1px; + border-left-color: #ffffff; + border-left-style: solid; + letter-spacing: -0.02em; + font-weight: bold; +} + +#package-header a { color: #ffffff } +#package-header a:visited { color: #ffff00 } +#package-header a:hover { background-color: #C9D3DE; } +#package-header li:hover { background-color: #C9D3DE; } + +div#style-menu-holder { + position: relative; + z-index: 2; + display: inline; + margin: 0; + padding: 0; +} + +#style-menu { + position: absolute; + z-index: 1; + overflow: visible; + background-color: #3465a4; + margin: 0; + width: 6em; + text-align: center; + right: 0; + padding: 0 2px 1px; + border-left: 1px solid #fffffff; + border-right: 1px solid #fffffff; + border-bottom: 1px solid #fffffff; +} + +#style-menu li { + display: list-item; + border-style: none; + margin: 0; + padding: 3px; + color: #000; + list-style-type: none; +} + +#style-menu li + li { + border-top: 1px solid #ffffff; +} + +#module-header { + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + color: #141B24; + background-color: #C9D3DE; + padding: 5px; + border-top-width: 1px; + border-top-color: #ffffff; + border-top-style: solid; + -moz-border-radius-bottomleft:5px; + -moz-border-radius-bottomright:5px; + -webkit-border-radius-bottomleft:5px; + -webkit-border-radius-bottomright:5px; +} + +#module-header .info { + display: none; +} + +#table-of-contents, +#description, +#synopsis, +#footer { + margin-top: 15px; +} + +#table-of-contents ul { + font-size: 80%; + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + letter-spacing: -0.01em; + margin: 0; + list-style: none; +} + +#synopsis ul { + list-style: none; +} + +#synopsis .src, +.instances .src { + background-color: #FAFAFA; + border-bottom: #F2F2F2 solid 1px; + border-top: #FCFCFC solid 1px; +} + +.top { + padding: 20px 0 0.5ex 0; +} + +.top .src, +#interface .subs.methods .src { + border-spacing: 0px; + border-bottom:1px solid #d7d7df; + border-right:1px solid #d7d7df; + border-top:1px solid #f4f4f9; + border-left:1px solid #f4f4f9; + padding: 4px; +} + +#interface p + div { + margin-top: -15px +} + +.subs p { + margin: 0; +} + +#interface .subs .src { + padding: 2px 12px; + border: none; +} + +#interface .subs td + td { + font-style: italic; + font-size: 80%; + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; +} + +#interface .methods .src { + margin-top: 15px; +} +#interface .instances div { + margin: 0; + padding: 0; +} + +div.arguments { + padding-left: 0; + padding-top: 9px; +} + +.arguments table { + border-spacing: 0; +} + +#footer { + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + -moz-border-radius:5px; + -webkit-border-radius:5px; + background-color: #3465a4; + color: #ffffff; + padding: 5px +} + +#footer p { + margin: 0; +} + +#footer a:link { + color: #ffffff; + text-decoration: underline + } +#footer a:visited { + color: #ffff00 + } +#footer a:hover { + background-color: #6060ff + } + + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; + font-family: "Gill Sans", "Helvetica Neue","Arial",sans-serif; + font-weight: bold; +} + +#alphabet li { + display: inline; + margin: 0 0.25em; +} + +#alphabet a { + text-decoration: none; +} + +#index td { + background-color: #f0f0f0; + padding-left: 1em; + padding-right: 1em; +} +#index td.alt { + font-size: 70%; + font-style: italic; + padding-left: 3em; +} + + + +body#mini { + width: auto; + padding: 0; + background-color: #ffffff; + color: #000000; + font-size: 90%; + font-family: DroidSerif, Georgia, serif; + margin: 0.5em; +} + +#mini div { + padding: 0 10px; +} + +#module-list ul { + list-style: none; + margin-top: 0.5em; +} + +#module-list .package { + float: right; +} \ No newline at end of file diff --git a/html/themes/Tibbe/haskell_icon.gif b/html/themes/Tibbe/haskell_icon.gif new file mode 100644 index 00000000..10589f91 Binary files /dev/null and b/html/themes/Tibbe/haskell_icon.gif differ diff --git a/html/themes/Tibbe/minus.gif b/html/themes/Tibbe/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/themes/Tibbe/minus.gif differ diff --git a/html/themes/Tibbe/plus.gif b/html/themes/Tibbe/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/themes/Tibbe/plus.gif differ diff --git a/html/themes/Tibbe/tibbe.css b/html/themes/Tibbe/tibbe.css new file mode 100644 index 00000000..d92c269b --- /dev/null +++ b/html/themes/Tibbe/tibbe.css @@ -0,0 +1,383 @@ +html, body { + height:100%; + margin:0; + padding:0; +} + +body { + background-color:#FFFFFF; + color:#000000; + font-family:Helvetica,Arial,sans-serif; + font-size:small; + margin:3px 8px; + + max-width:956px; + padding-left:24px; +} + +#package-header { + background: #eaeaea url(haskell_icon.gif) no-repeat 5px 6px; + height: 2em; + margin: 0 0 0 -10px; + position: relative; +} + +#package-header .caption { + margin-left: 30px; + padding-top: 6px; +} + + + +div#style-menu-holder { + position: relative; + z-index: 2; + display: inline; +} + +#style-menu { + position: absolute; + z-index: 1; + overflow: visible; + background-color: #eaeaea; + margin: 0; + width: 6em; + text-align: center; + right: 0; + padding: 0 2px 1px; + border-left: 1px solid #919191; + border-right: 1px solid #919191; + border-bottom: 1px solid #919191; +} + +#style-menu li { + display: list-item; + border-style: none; + margin: 0; + padding: 3px; + color: #000; + list-style-type: none; +} + +#style-menu li + li { + border-top: 1px solid #919191; +} + +#module-header .caption { + background:transparent none repeat scroll 0 0; + border:medium none; + font-size: 170%; + line-height: 130%; + margin:0 0 0 -10px; + + background-color:#E5ECF9; + border-top:1px solid #3366CC; + padding:1px 3px; + font-weight: bold; + position: relative; +} + + +dl.info { + position: absolute; + display: block; + right: 1em; + top: 3em; + background-color:#FAFAFA; + border:1px solid #BBBBBB; + padding:0.99em; +} + +dl.info dt { + float: left; + clear: left; + width: 5em; + font-weight: bold; + margin: 0; + padding: 0; +} + +dl.info dd { + padding-left: 6em; + margin: 0; +} + +#description .caption, +#synopsis .caption, +h1 { + background-color:#E5ECF9; + border-top:1px solid #3366CC; + font-size:130%; + font-weight:bold; + margin:2em 0 0 -10px; + padding:1px 3px; + position:relative; +} + +#table-of-contents .caption, +h2 { + font-size:130%; + font-weight:bold; + margin:1.5em 0 0; + padding: 0; + top:0; +} + +#synopsis li.src * { + display: inline; +} + +#synopsis ul.subs, +#synopsis ul.subs li { + padding: 0 0 0 0.25em; + margin: 0; +} + +#footer { + color:#666666; + background-color: #eaeaea; + margin: 2em 0 0 -10px; + position: relative; +} + +#footer p { + margin: 0; + padding: 0.5em; + border-top: 1px solid #919191; +} + +ol, ul { + line-height:125%; + margin:0.5em 0 0 15px; + padding:0; +} + +li { + margin:0.3em 0 0 1.5em; + padding:0; +} + +p { + line-height:125%; + margin:0; + padding:1em 0 0; +} + +h1 + p, h2 + p, h3 + p, +pre + p, +p + p { + padding-top: 1em; +} + +code, pre { + color:#007000; + font-family:monospace; +} + +pre { + background-color:#FAFAFA; + border:1px solid #BBBBBB; + font-size:9pt; + line-height:125%; + margin:1em 0 0; + overflow:auto; + padding:0.99em; +} + +code { + font-size:10pt; +} + +a:link { + color:#0000CC; +} + +ul.links { + list-style: none; + position: absolute; + right: 1px; + top: 0; +} + +ul.links li { + display: inline; + white-space: nowrap; + padding: 0 10px; + border-left: 1px solid #919191; + margin: 0; +} + +dl { + line-height:125%; + margin:0; + padding:0; +} + +dt { + font-weight:normal; + margin:0.75em 0 0; + padding:0; +} + +dd { + font-weight:normal; + margin:0.4em 0 0 2em; + padding:0; +} + +.hide { display: none; } +.show { } +.collapser { + background: url(minus.gif) no-repeat 0 1.3em; +} +.expander { + background: url(plus.gif) no-repeat 0 1.3em; +} +.collapser, .expander { + padding-left: 14px; + margin-left: -14px; + cursor: pointer; +} + +.top { + margin:0.4em 0 0 2em; + padding:0; +} + +.top .src { + margin:0.75em 0 0 -2em; + padding:0; +} + +.top .subs .src { + margin-left: 0; +} + +.arguments .caption, +.fields .caption { + display: none; +} + +.associated-types, +.constructors, +.methods { + background-color:#FAFAFA; + border:1px solid #BBBBBB; + padding:0.99em; +} + +.subs .caption { + font-weight: bold; +} + +.subs td { + padding-right: 1em; + padding-left: 1em; +} + +#index .caption, +#module-list .caption { + font-size:130%; + font-weight:bold; + padding: 0; + top:0; + margin: 0.5em 0; +} + +#index table { + border-spacing: 0; +} +#index td { + padding-right: 1em; + border-top: 1px solid #eaeaea; + padding-top: 2px; + padding-bottom: 2px; +} + +#index td.alt { + padding-left: 2em; + font-style: italic; + font-size: 80%; +} + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; +} + +#alphabet li { + display: inline; + margin: 0 0.25em; +} + +#alphabet a { + text-decoration: none; + font-weight: bold; +} + +.module { +} + +#mini { + padding: 0; + margin: 0 0 0 10px; +} + +#mini h1, #mini h2, #mini h3, #mini h4 { + margin-top: 0.5em; + color: #a9a9a9; +} + +#mini h1 { + background-color: #eff2f9; +} + +#module-list ul { + list-style: none; + padding: 0; + margin: 0; +} + +#module-list li { + margin: 0; + border-top: 1px solid #eaeaea; + padding: 2px 0 2px 1.4em; +} + +#module-list li .package { + float: right; +} + +#mini #interface .top, +#mini #interface .src { + margin-top: 2px; + font-weight: normal; + font-style: normal; +} + +#mini #interface .src a { + font-weight: bold; +} + +.keyword { + font-weight: bold; + font-family: monospace; +} + +#synopsis { + display: none; +} + +td p { + padding-top: 0; +} + +.src { + font-family: monospace; + font-size: larger; +} + +.def { + font-weight: bold; +} diff --git a/html/xhaddock.css b/html/xhaddock.css deleted file mode 100644 index 35f4b469..00000000 --- a/html/xhaddock.css +++ /dev/null @@ -1,488 +0,0 @@ -* { - 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 } - -/* font is a little too small in MSIE */ -tt { font-size: 100%; } -pre { font-size: 100%; } -.keyword { text-decoration: underline; } -.caption { - font-weight: bold; - margin: 0; - padding: 0; -} - -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, h5 { - font-weight: bold; - font-size: 100% - } - -h1, h2, h3, h4, h5 { - margin-top: 0.5em; - margin-bottom: 0.5em; -} - -p { - padding-top: 2px; - padding-left: 10px; -} - -ul, ol, dl { - padding-top: 2px; - padding-left: 10px; - margin-left: 2.5em; -} - -pre { - padding-top: 2px; - padding-left: 20px; -} - -* + p, * + pre { - margin-top: 1em; -} -.caption + p, .src + p { - margin-top: 0; -} - -.def { - font-weight: bold; -} - -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; -} - -.hide { display: none; } -.show { } -.collapser { - background: url(minus.gif) no-repeat 0 0.3em; -} -.expander { - background: url(plus.gif) no-repeat 0 0.3em; -} -.collapser, .expander { - padding-left: 14px; - cursor: pointer; -} - -#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; -} - -#package-header .caption { - font-weight: normal; - font-style: normal; -} -#package-header a:link { color: #ffffff } -#package-header a:visited { color: #ffff00 } -#package-header a:hover { background-color: #6060ff; } -#package-header ul.links li:hover { background-color: #6060ff; } - -div#style-menu-holder { - position: relative; - z-index: 2; - display: inline; -} - -#style-menu { - position: absolute; - z-index: 1; - overflow: visible; - background-color: #000099; - margin: 0; - width: 6em; - text-align: center; - right: 0; - padding: 2px 2px 1px; -} - -#style-menu li { - display: list-item; - border-style: none; - margin: 0; - padding: 3px; - color: #000; - list-style-type: none; - border-top: 1px solid #ffffff; -} - -#module-header { - background-color: #0077dd; - padding: 5px; - position: relative; -} - -#module-header .caption { - font-size: 200%; - height: 1.5em; - padding-top: .25em; - font-weight: normal; - font-style: normal; -} - -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; -} - -#table-of-contents { - margin-top: 1em; - margin-bottom: 2em; -} - -#table-of-contents ul { - margin-top: 1em; - margin-bottom: 1em; - margin-left: 0; - list-style-type: none; - padding: 0; -} - -#table-of-contents ul ul { - margin-left: 2.5em; -} - -#description .caption, -#synopsis .caption, -#module-list .caption, -#index .caption { - padding-top: 15px; - font-weight: bold; - font-size: 150% -} - -#synopsis { - margin-bottom: 2em; -} - -#synopsis ul { - margin: 0; - padding-top: 0; - padding-left: 20px; - list-style-type: none; -} - -#synopsis li { - margin-top: 8px; - margin-bottom: 8px; - padding: 3px; -} - -#synopsis li li { - padding: 0; - margin-top: 0; - margin-bottom: 0; -} - - -div.top { - margin-top: 1em; - clear: left; - margin-bottom: 1em; -} - -div.top h5 { - margin-left: 10px; -} - - -.src { - padding: 3px; - background-color: #f0f0f0; - font-family: monospace; - margin-bottom: 0; -} - - -.src 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; -} - -div.subs { - margin-left: 10px; - clear: both; - margin-top: 2px; -} - -.subs dl { - margin-left: 0; -} - -.subs dl dl { - padding-left: 0; - padding-top: 4px; -} - -.subs dt { - float: left; - margin-right: 1em; - clear: left; -} - -.subs dd -{ - margin-bottom: 2px; - margin-top: 2px; -} - -.subs table { - margin-left: 10px; - border-spacing: 1px 1px; - margin-top: 4px; - margin-bottom: 4px; -} - -.subs table table { - margin-left: 0; -} - -.arguments .caption, -.fields .caption { - display: none; -} - -/* need extra .subs in the selector to make it override the rules for .subs and .subs table */ - -.subs.arguments { - margin: 0; -} - -.subs.arguments table { - border-spacing: 0; - margin-top: 0; - margin-bottom: 0; -} - -.subs.arguments td.src { - white-space: nowrap; -} - -.subs.arguments + p { - margin-top: 0; -} - -.subs.associated-types, -.subs.methods { - margin-left: 20px; -} - -.subs.associated-types .caption, -.subs.methods .caption { - margin-top: 0.5em; - margin-left: -10px; -} - -.subs.associated-types .src + .src, -.subs.methods .src + .src { - margin-top: 8px; -} - -p.arg { - margin-bottom: 0; -} -p.arg span { - background-color: #f0f0f0; - font-family: monospace; - white-space: nowrap; - float: none; -} - - -img.coll { - width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em -} - - -td.arg { - padding: 3px; - background-color: #f0f0f0; - font-family: monospace; - margin-bottom: 0; -} - -td.rdoc p { - margin-bottom: 0; -} - - - -#footer { - background-color: #000099; - color: #ffffff; - padding: 4px - } - -#footer p { - padding: 1px; - margin: 0; -} - -#footer a:link { - color: #ffffff; - text-decoration: underline - } -#footer a:visited { - color: #ffff00 - } -#footer a:hover { - background-color: #6060ff - } - - -#module-list ul { - list-style: none; - padding-bottom: 15px; - padding-left: 2px; - margin: 0; -} - -#module-list ul ul { - padding-bottom: 0; - padding-left: 20px; -} - -#module-list li .package { - float: right; -} -#mini #module-list .caption { - display: none; -} - -#index .caption { -} - -#alphabet ul { - list-style: none; - padding: 0; - margin: 0.5em 0 0; -} - -#alphabet li { - display: inline; - margin: 0 0.2em; -} - -#index .src { - background: none; - font-family: inherit; -} - -#index td.alt { - padding-left: 2em; -} - -#index td { - padding-top: 2px; - padding-bottom: 1px; - padding-right: 1em; -} - - -#mini h1 { font-size: 130%; } -#mini h2 { font-size: 110%; } -#mini h3 { font-size: 100%; } -#mini h1, #mini h2, #mini h3 { - margin-top: 0.5em; - margin-bottom: 0.25em; - padding: 0 0; -} - -#mini h1 { border-bottom: 1px solid #ccc; } - -#mini #module-header { - margin: 0; - padding: 0; -} -#mini #module-header .caption { - font-size: 130%; - background: #0077dd; - padding: 0.25em; - height: inherit; - margin: 0; -} - -#mini #interface .top { - margin: 0; - padding: 0; -} -#mini #interface .src { - margin: 0; - padding: 0; - font-family: inherit; - background: inherit; -} - - - - diff --git a/src/Haddock/Backends/Xhtml.hs b/src/Haddock/Backends/Xhtml.hs index 00f8e30b..94ee6347 100644 --- a/src/Haddock/Backends/Xhtml.hs +++ b/src/Haddock/Backends/Xhtml.hs @@ -119,7 +119,7 @@ copyHtmlBits odir libdir themes = do copyLibFile f = do copyFile (joinPath [libhtmldir, f]) (joinPath [odir, f]) mapM_ copyCssFile (cssFiles themes) - mapM_ copyLibFile [ plusFile, minusFile, jsFile, framesFile ] + mapM_ copyLibFile [ jsFile, framesFile ] headHtml :: String -> Maybe String -> Themes -> Html diff --git a/src/Haddock/Backends/Xhtml/Themes.hs b/src/Haddock/Backends/Xhtml/Themes.hs index 43339791..3274b842 100644 --- a/src/Haddock/Backends/Xhtml/Themes.hs +++ b/src/Haddock/Backends/Xhtml/Themes.hs @@ -22,12 +22,12 @@ import Haddock.Options import Control.Monad (liftM) import Data.Char (toLower) import Data.Either (lefts, rights) -import Data.List (nub) +import Data.List (nub, partition) import Data.Maybe (isJust, listToMaybe) import System.Directory import System.FilePath -import Text.XHtml hiding ( name, title, p, quote ) +import Text.XHtml hiding ( name, title, p, quote, () ) import qualified Text.XHtml as XHtml @@ -41,67 +41,57 @@ data CssTheme = CssTheme { themeFiles :: [FilePath] } + type Themes = [CssTheme] --- | Standard theme used by default -standardTheme :: FilePath -> CssTheme -standardTheme libDir = locateIn libDir $ - CssTheme "Ocean" "nhaddock.css" ["nhaddock.css", "hslogo-16.png"] +type PossibleTheme = Either String CssTheme +type PossibleThemes = Either String Themes --- | Default themes that are part of Haddock; added with --default-themes -defaultThemes :: FilePath -> Themes -defaultThemes libDir = standardTheme libDir : - (map (locateIn libDir) $ [ - CssTheme "Classic" "xhaddock.css" ["xhaddock.css", "haskell_icon.gif"], - CssTheme "Tibbe" "thaddock.css" ["thaddock.css", "haskell_icon.gif"], - CssTheme "Snappy" "shaddock.css" ["shaddock.css", "s_haskell_icon.gif"] - ] - ) +-- | Standard theme used by default +standardTheme :: FilePath -> IO PossibleThemes +standardTheme libDir = liftM (liftEither (take 1)) (defaultThemes libDir) -locateIn :: FilePath -> CssTheme -> CssTheme -locateIn libDir t = t { themeFiles = map loc (themeFiles t) } - where loc = combine libDir . combine "html" +-- | Default themes that are part of Haddock; added with --default-themes +defaultThemes :: FilePath -> IO PossibleThemes +defaultThemes libDir = do + themeDirs <- getDirectoryItems (libDir "html" "themes") + themes <- mapM directoryTheme themeDirs + return $ liftEither shuffle $ sequenceEither themes + where + shuffle ts = let (a,b) = partition isStd ts in a ++ b + isStd c = themeName c == "Ocean" -findTheme :: Themes -> String -> Maybe CssTheme -findTheme ts s = listToMaybe $ filter ((== ls).lower.themeName) ts +findTheme :: String -> Themes -> Maybe CssTheme +findTheme s = listToMaybe . filter ((== ls).lower.themeName) where lower = map toLower ls = lower s -isThemeName :: Themes -> String -> Bool -isThemeName ts = isJust . findTheme ts - - -builtInTheme :: Themes -> String -> Either String CssTheme -builtInTheme ts = maybe (Left "not found") Right . findTheme ts - - -------------------------------------------------------------------------------- -- * CSS Theme Arguments -------------------------------------------------------------------------------- -type PossibleTheme = Either String CssTheme -- | Process input flags for CSS Theme arguments getThemes :: FilePath -> [Flag] -> IO (Either String Themes) getThemes libDir flags = - liftM (someTheme . concatEither) (mapM themeFlag flags) + liftM concatEither (mapM themeFlag flags) >>= someTheme where themeFlag :: Flag -> IO (Either String Themes) themeFlag (Flag_CSS path) = (liftM . liftEither) (:[]) (theme path) - themeFlag (Flag_BuiltInThemes) = retRight builtIns + themeFlag (Flag_BuiltInThemes) = builtIns themeFlag _ = retRight [] theme :: FilePath -> IO PossibleTheme theme path = pick path [(doesFileExist, singleFileTheme), (doesDirectoryExist, directoryTheme), - (return . isThemeName builtIns, return . builtInTheme builtIns)] - "css theme path not found" + (doesBuiltInExist builtIns, builtInTheme builtIns)] + "Theme not found" pick :: FilePath -> [(FilePath -> IO Bool, FilePath -> IO PossibleTheme)] -> String @@ -111,43 +101,56 @@ getThemes libDir flags = pass <- test path if pass then build path else pick path opts msg - someTheme :: Either String Themes -> Either String Themes - someTheme (Right []) = Right [standardTheme libDir] - someTheme est = est + + someTheme :: Either String Themes -> IO (Either String Themes) + someTheme (Right []) = standardTheme libDir + someTheme est = return est builtIns = defaultThemes libDir errMessage :: String -> FilePath -> IO (Either String a) -errMessage msg path = return (Left (msg ++ ": \"" ++ path ++ "\"")) +errMessage msg path = return (Left msg') + where msg' = "Error: " ++ msg ++ ": \"" ++ path ++ "\"\n" retRight :: a -> IO (Either String a) retRight = return . Right -singleFileTheme :: FilePath -> IO (Either String CssTheme) +singleFileTheme :: FilePath -> IO PossibleTheme singleFileTheme path = if isCssFilePath path then retRight $ CssTheme name file [path] - else errMessage "file extension isn't .css" path + else errMessage "File extension isn't .css" path where name = takeBaseName path file = takeFileName path -directoryTheme :: FilePath -> IO (Either String CssTheme) +directoryTheme :: FilePath -> IO PossibleTheme directoryTheme path = do items <- getDirectoryItems path case filter isCssFilePath items of - [] -> errMessage "no .css file in theme directory" path [cf] -> retRight $ CssTheme (takeBaseName path) (takeFileName cf) items - _ -> errMessage "more than one .css file in theme directory" path + [] -> errMessage "No .css file in theme directory" path + _ -> errMessage "More than one .css file in theme directory" path + + +doesBuiltInExist :: IO PossibleThemes -> String -> IO Bool +doesBuiltInExist pts s = pts >>= return . either (const False) test + where test = isJust . findTheme s + + +builtInTheme :: IO PossibleThemes -> String -> IO PossibleTheme +builtInTheme pts s = pts >>= return . either Left fetch + where fetch = maybe (Left ("Unknown theme: " ++ s)) Right . findTheme s getDirectoryItems :: FilePath -> IO [FilePath] getDirectoryItems path = - getDirectoryContents path >>= return . map (combine path) + getDirectoryContents path >>= return . map (combine path) . filter notDot + where notDot s = s /= "." && s /= ".." isCssFilePath :: FilePath -> Bool diff --git a/src/Haddock/Backends/Xhtml/Utils.hs b/src/Haddock/Backends/Xhtml/Utils.hs index a914d2e8..61f0894d 100644 --- a/src/Haddock/Backends/Xhtml/Utils.hs +++ b/src/Haddock/Backends/Xhtml/Utils.hs @@ -184,7 +184,7 @@ linkedAnchor n = anchor ! [href ('#':n)] collapsebutton :: String -> Html collapsebutton id_ = - image ! [ src minusFile, theclass "coll", onclick ("toggle(this,'" ++ id_ ++ "')"), alt "show/hide" ] + image ! [ src "minus.gif", theclass "coll", onclick ("toggle(this,'" ++ id_ ++ "')"), alt "show/hide" ] -- A quote is a valid part of a Haskell identifier, but it would interfere with diff --git a/src/Haddock/Utils.hs b/src/Haddock/Utils.hs index 003706cd..ed253433 100644 --- a/src/Haddock/Utils.hs +++ b/src/Haddock/Utils.hs @@ -22,7 +22,7 @@ module Haddock.Utils ( frameIndexHtmlFile, moduleIndexFrameName, mainFrameName, synopsisFrameName, subIndexHtmlFile, - jsFile, plusFile, minusFile, framesFile, + jsFile, framesFile, -- * Anchor and URL utilities moduleNameUrl, moduleUrl, @@ -257,10 +257,8 @@ makeAnchorId (f:r) = escape isAlpha f ++ concatMap (escape isLegal) r ------------------------------------------------------------------------------- -jsFile, plusFile, minusFile, framesFile :: String +jsFile, framesFile :: String jsFile = "haddock-util.js" -plusFile = "plus.gif" -minusFile = "minus.gif" framesFile = "frames.html" -- cgit v1.2.3