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/Classic.theme/haskell_icon.gif | Bin 0 -> 911 bytes html/Classic.theme/minus.gif | Bin 0 -> 56 bytes html/Classic.theme/plus.gif | Bin 0 -> 59 bytes html/Classic.theme/xhaddock.css | 488 ++++++++++++++++++++++++++++++++++ html/Ocean.std-theme/hslogo-16.png | Bin 0 -> 1684 bytes html/Ocean.std-theme/minus.gif | Bin 0 -> 56 bytes html/Ocean.std-theme/ocean.css | 486 +++++++++++++++++++++++++++++++++ html/Ocean.std-theme/plus.gif | Bin 0 -> 59 bytes html/Snappy.theme/minus.gif | Bin 0 -> 56 bytes html/Snappy.theme/plus.gif | Bin 0 -> 59 bytes html/Snappy.theme/s_haskell_icon.gif | Bin 0 -> 607 bytes html/Snappy.theme/snappy.css | 477 +++++++++++++++++++++++++++++++++ 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 --------------------------------- 24 files changed, 1451 insertions(+), 1451 deletions(-) create mode 100644 html/Classic.theme/haskell_icon.gif create mode 100644 html/Classic.theme/minus.gif create mode 100644 html/Classic.theme/plus.gif create mode 100644 html/Classic.theme/xhaddock.css create mode 100644 html/Ocean.std-theme/hslogo-16.png create mode 100644 html/Ocean.std-theme/minus.gif create mode 100644 html/Ocean.std-theme/ocean.css create mode 100644 html/Ocean.std-theme/plus.gif create mode 100644 html/Snappy.theme/minus.gif create mode 100644 html/Snappy.theme/plus.gif create mode 100644 html/Snappy.theme/s_haskell_icon.gif create mode 100644 html/Snappy.theme/snappy.css 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') diff --git a/html/Classic.theme/haskell_icon.gif b/html/Classic.theme/haskell_icon.gif new file mode 100644 index 00000000..10589f91 Binary files /dev/null and b/html/Classic.theme/haskell_icon.gif differ diff --git a/html/Classic.theme/minus.gif b/html/Classic.theme/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/Classic.theme/minus.gif differ diff --git a/html/Classic.theme/plus.gif b/html/Classic.theme/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/Classic.theme/plus.gif differ diff --git a/html/Classic.theme/xhaddock.css b/html/Classic.theme/xhaddock.css new file mode 100644 index 00000000..35f4b469 --- /dev/null +++ b/html/Classic.theme/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/Ocean.std-theme/hslogo-16.png b/html/Ocean.std-theme/hslogo-16.png new file mode 100644 index 00000000..0ff8579f Binary files /dev/null and b/html/Ocean.std-theme/hslogo-16.png differ diff --git a/html/Ocean.std-theme/minus.gif b/html/Ocean.std-theme/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/Ocean.std-theme/minus.gif differ diff --git a/html/Ocean.std-theme/ocean.css b/html/Ocean.std-theme/ocean.css new file mode 100644 index 00000000..53af455f --- /dev/null +++ b/html/Ocean.std-theme/ocean.css @@ -0,0 +1,486 @@ +/* @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/Ocean.std-theme/plus.gif b/html/Ocean.std-theme/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/Ocean.std-theme/plus.gif differ diff --git a/html/Snappy.theme/minus.gif b/html/Snappy.theme/minus.gif new file mode 100644 index 00000000..1deac2fe Binary files /dev/null and b/html/Snappy.theme/minus.gif differ diff --git a/html/Snappy.theme/plus.gif b/html/Snappy.theme/plus.gif new file mode 100644 index 00000000..2d15c141 Binary files /dev/null and b/html/Snappy.theme/plus.gif differ diff --git a/html/Snappy.theme/s_haskell_icon.gif b/html/Snappy.theme/s_haskell_icon.gif new file mode 100644 index 00000000..cb2a8158 Binary files /dev/null and b/html/Snappy.theme/s_haskell_icon.gif differ diff --git a/html/Snappy.theme/snappy.css b/html/Snappy.theme/snappy.css new file mode 100644 index 00000000..d3d5bf84 --- /dev/null +++ b/html/Snappy.theme/snappy.css @@ -0,0 +1,477 @@ +/* -------- 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 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