From ccb3be7d8d24eda2b5d871b96966049f2f1a7fc3 Mon Sep 17 00:00:00 2001 From: Mark Lentczner Date: Tue, 27 Jul 2010 20:04:03 +0000 Subject: move themes into html dir with .theme and .std-theme extensions --- html/themes/Classic/haskell_icon.gif | Bin 911 -> 0 bytes html/themes/Classic/minus.gif | Bin 56 -> 0 bytes html/themes/Classic/plus.gif | Bin 59 -> 0 bytes html/themes/Classic/xhaddock.css | 488 ---------------------------------- html/themes/Ocean/hslogo-16.png | Bin 1684 -> 0 bytes html/themes/Ocean/minus.gif | Bin 56 -> 0 bytes html/themes/Ocean/ocean.css | 486 --------------------------------- html/themes/Ocean/plus.gif | Bin 59 -> 0 bytes html/themes/Snappy/minus.gif | Bin 56 -> 0 bytes html/themes/Snappy/plus.gif | Bin 59 -> 0 bytes html/themes/Snappy/s_haskell_icon.gif | Bin 607 -> 0 bytes html/themes/Snappy/snappy.css | 477 --------------------------------- 12 files changed, 1451 deletions(-) delete mode 100644 html/themes/Classic/haskell_icon.gif delete mode 100644 html/themes/Classic/minus.gif delete mode 100644 html/themes/Classic/plus.gif delete mode 100644 html/themes/Classic/xhaddock.css delete mode 100644 html/themes/Ocean/hslogo-16.png delete mode 100644 html/themes/Ocean/minus.gif delete mode 100644 html/themes/Ocean/ocean.css delete mode 100644 html/themes/Ocean/plus.gif delete mode 100644 html/themes/Snappy/minus.gif delete mode 100644 html/themes/Snappy/plus.gif delete mode 100644 html/themes/Snappy/s_haskell_icon.gif delete mode 100644 html/themes/Snappy/snappy.css (limited to 'html/themes') diff --git a/html/themes/Classic/haskell_icon.gif b/html/themes/Classic/haskell_icon.gif deleted file mode 100644 index 10589f91..00000000 Binary files a/html/themes/Classic/haskell_icon.gif and /dev/null differ diff --git a/html/themes/Classic/minus.gif b/html/themes/Classic/minus.gif deleted file mode 100644 index 1deac2fe..00000000 Binary files a/html/themes/Classic/minus.gif and /dev/null differ diff --git a/html/themes/Classic/plus.gif b/html/themes/Classic/plus.gif deleted file mode 100644 index 2d15c141..00000000 Binary files a/html/themes/Classic/plus.gif and /dev/null differ diff --git a/html/themes/Classic/xhaddock.css b/html/themes/Classic/xhaddock.css deleted file mode 100644 index 35f4b469..00000000 --- a/html/themes/Classic/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/html/themes/Ocean/hslogo-16.png b/html/themes/Ocean/hslogo-16.png deleted file mode 100644 index 0ff8579f..00000000 Binary files a/html/themes/Ocean/hslogo-16.png and /dev/null differ diff --git a/html/themes/Ocean/minus.gif b/html/themes/Ocean/minus.gif deleted file mode 100644 index 1deac2fe..00000000 Binary files a/html/themes/Ocean/minus.gif and /dev/null differ diff --git a/html/themes/Ocean/ocean.css b/html/themes/Ocean/ocean.css deleted file mode 100644 index 53af455f..00000000 --- a/html/themes/Ocean/ocean.css +++ /dev/null @@ -1,486 +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-image: url(minus.gif); - background-repeat: no-repeat; -} -.expander { - background-image: url(plus.gif); - background-repeat: no-repeat; -} -span.module.collapser, -span.module.expander { - background-position: 0 0.3em; -} -p.caption.collapser, -p.caption.expander { - background-position: 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 deleted file mode 100644 index 2d15c141..00000000 Binary files a/html/themes/Ocean/plus.gif and /dev/null differ diff --git a/html/themes/Snappy/minus.gif b/html/themes/Snappy/minus.gif deleted file mode 100644 index 1deac2fe..00000000 Binary files a/html/themes/Snappy/minus.gif and /dev/null differ diff --git a/html/themes/Snappy/plus.gif b/html/themes/Snappy/plus.gif deleted file mode 100644 index 2d15c141..00000000 Binary files a/html/themes/Snappy/plus.gif and /dev/null differ diff --git a/html/themes/Snappy/s_haskell_icon.gif b/html/themes/Snappy/s_haskell_icon.gif deleted file mode 100644 index cb2a8158..00000000 Binary files a/html/themes/Snappy/s_haskell_icon.gif and /dev/null differ diff --git a/html/themes/Snappy/snappy.css b/html/themes/Snappy/snappy.css deleted file mode 100644 index d3d5bf84..00000000 --- a/html/themes/Snappy/snappy.css +++ /dev/null @@ -1,477 +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-image: url(minus.gif); - background-repeat: no-repeat; -} -.expander { - background-image: url(plus.gif); - background-repeat: no-repeat; -} - -span.module.collapser, -span.module.expander { - background-position: 0 6px; -} -p.caption.collapser, -p.caption.expander { - background-position: 0 17px; -} -#module-list .collapser, -#module-list .expander, -.subs p.caption.collapser, -.subs p.caption.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 -- cgit v1.2.3