From 4ab3d42b0ca7186835128d5e6be04dfc44629931 Mon Sep 17 00:00:00 2001 From: Mark Lentczner Date: Sat, 21 Aug 2010 01:46:19 +0000 Subject: remove Snappy theme --- html/Snappy.theme/minus.gif | Bin 56 -> 0 bytes html/Snappy.theme/plus.gif | Bin 59 -> 0 bytes html/Snappy.theme/s_haskell_icon.gif | Bin 607 -> 0 bytes html/Snappy.theme/snappy.css | 511 ----------------------------------- 4 files changed, 511 deletions(-) delete mode 100644 html/Snappy.theme/minus.gif delete mode 100644 html/Snappy.theme/plus.gif delete mode 100644 html/Snappy.theme/s_haskell_icon.gif delete mode 100644 html/Snappy.theme/snappy.css diff --git a/html/Snappy.theme/minus.gif b/html/Snappy.theme/minus.gif deleted file mode 100644 index 1deac2fe..00000000 Binary files a/html/Snappy.theme/minus.gif and /dev/null differ diff --git a/html/Snappy.theme/plus.gif b/html/Snappy.theme/plus.gif deleted file mode 100644 index 2d15c141..00000000 Binary files a/html/Snappy.theme/plus.gif and /dev/null differ diff --git a/html/Snappy.theme/s_haskell_icon.gif b/html/Snappy.theme/s_haskell_icon.gif deleted file mode 100644 index cb2a8158..00000000 Binary files a/html/Snappy.theme/s_haskell_icon.gif and /dev/null differ diff --git a/html/Snappy.theme/snappy.css b/html/Snappy.theme/snappy.css deleted file mode 100644 index 0c11ff64..00000000 --- a/html/Snappy.theme/snappy.css +++ /dev/null @@ -1,511 +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; - float: right; - margin: 0 0 0 0.5em; - font-size: 80%; -} - -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 { - float: right; - margin: 0; - font-size: 80%; -} - -#module-header .info dt { - float: left; - width: 6em; - font-weight: bold; -} - -#module-header .info dd { - margin-left: 6em; -} - -#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 .caption.expander, -#synopsis .caption.collapser { - background: inherit; -} - -#synopsis ul.hide { - display: inherit; -} - - -#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; -} - -.src a.link { - float: right; - border-left-width: 1px; - border-left-color: #000099; - border-left-style: solid; - white-space: nowrap; - padding: 0 4px;; -} -#interface p + div { - margin-top: -8px} - -.subs p { - margin: 0; -} - -dd.empty { - display: none; -} - -.subs .subs { - margin-left: 2em; -} -#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