From cafb407b2e63daf2ab1ca7668db7f42a55149a04 Mon Sep 17 00:00:00 2001 From: Emanuel Borsboom Date: Tue, 5 Jul 2016 08:40:40 -0700 Subject: [PATCH 1/7] Update devops-helpers --- etc/common/devops-helpers | 2 +- etc/kubernetes/deploy_rc.sh | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/etc/common/devops-helpers b/etc/common/devops-helpers index 0674691..0625e1a 160000 --- a/etc/common/devops-helpers +++ b/etc/common/devops-helpers @@ -1 +1 @@ -Subproject commit 0674691287f5acb1d7eb8da3fcf67b0a8ea8d133 +Subproject commit 0625e1af76d2b64a428bf2b0b9d8d6a857cf8a6a diff --git a/etc/kubernetes/deploy_rc.sh b/etc/kubernetes/deploy_rc.sh index 58d869c..5c6e927 100755 --- a/etc/kubernetes/deploy_rc.sh +++ b/etc/kubernetes/deploy_rc.sh @@ -5,5 +5,4 @@ exec "$(dirname ${BASH_SOURCE[0]})/../common/devops-helpers/kubernetes/deploy_rc --app "stackage-server" \ --repo fpco/stackage-server \ --specdir "$(dirname "${BASH_SOURCE[0]}")" \ - --clusters ~/.kube/clusters/fpco-prod-us-east-1?/kubeconfig \ "$@" From afdec252df10f6180fee66dc0bb9d7d229c358df Mon Sep 17 00:00:00 2001 From: Leon Isenberg Date: Fri, 15 Jul 2016 17:14:57 +0200 Subject: [PATCH 2/7] Haddock style: move selflink to the right --- static/haddock/style.css | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/static/haddock/style.css b/static/haddock/style.css index 574e75f..bb40250 100644 --- a/static/haddock/style.css +++ b/static/haddock/style.css @@ -288,6 +288,13 @@ code .diff { color:#555 } .src .def, .src .def:hover, .src a { color:#4F4371; text-decoration: none;} .src a[href]:hover { text-decoration: underline; } +.top > .src > .selflink { + padding-right: 0.5em; + float: right; + font-family: "Open Sans", sans-serif; + color: #428bca; +} + .top > .src > .link { float: right; font-family: "Open Sans", sans-serif; @@ -384,5 +391,3 @@ h4.collapser { font-size: 15px; font-weight: bold } } .doc.empty { display: none; } - -a.selflink { float right; padding-right: 0.5em } From c78676a2cc9241d83e64009c9a9cb665bbecf9ba Mon Sep 17 00:00:00 2001 From: Emanuel Borsboom Date: Sun, 17 Jul 2016 14:15:08 -0700 Subject: [PATCH 3/7] etc: reorder Dockerfile and stage with rsync --- etc/scripts/stage_docker.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/etc/scripts/stage_docker.sh b/etc/scripts/stage_docker.sh index b938544..1ca4c67 100755 --- a/etc/scripts/stage_docker.sh +++ b/etc/scripts/stage_docker.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -e +set -ex cd "$(dirname "${BASH_SOURCE[0]}")/../.." mkdir -p etc/docker/_artifacts stack install --local-bin-path=etc/docker/_artifacts "$@" -cp -r config static etc/docker/_artifacts/ +rsync -av --delete config static etc/docker/_artifacts/ From bc2173b4b84430f2318dec9a43834a28ea8d0198 Mon Sep 17 00:00:00 2001 From: Emanuel Borsboom Date: Tue, 19 Jul 2016 09:33:54 -0700 Subject: [PATCH 4/7] Test commit for Jenkins --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 7a4fbfb..2bc13e3 100644 --- a/README.md +++ b/README.md @@ -16,3 +16,5 @@ You can run this site with `yesod devel`, e.g.: stack --install-ghc build yesod-bin stack exec -- yesod devel + +@@@ From d36d922f130b9561623d390011733fdc0c881476 Mon Sep 17 00:00:00 2001 From: Emanuel Borsboom Date: Tue, 19 Jul 2016 09:34:00 -0700 Subject: [PATCH 5/7] Revert "Test commit for Jenkins" This reverts commit bc2173b4b84430f2318dec9a43834a28ea8d0198. --- README.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/README.md b/README.md index 2bc13e3..7a4fbfb 100644 --- a/README.md +++ b/README.md @@ -16,5 +16,3 @@ You can run this site with `yesod devel`, e.g.: stack --install-ghc build yesod-bin stack exec -- yesod devel - -@@@ From c104a9caa265eb965d51d89788c98a3cb9e49889 Mon Sep 17 00:00:00 2001 From: Chris Done Date: Tue, 23 Aug 2016 17:41:33 +0200 Subject: [PATCH 6/7] Use older style with new colours --- Handler/Haddock.hs | 46 +- static/haddock/style.css | 887 +++++++++++++++++++++++++-------------- 2 files changed, 565 insertions(+), 368 deletions(-) diff --git a/Handler/Haddock.hs b/Handler/Haddock.hs index 716b6c8..b09b51e 100644 --- a/Handler/Haddock.hs +++ b/Handler/Haddock.hs @@ -32,17 +32,9 @@ getHaddockR slug rest Just route -> redirect route Nothing -> do let stylesheet = render' $ StaticR haddock_style_css - script = render' $ StaticR haddock_script_js - bootstrap = render' $ StaticR haddock_bootstrap_css - jquery = render' $ StaticR haddock_jquery_js render' = return . ContentText . render addExtra t@(EventEndElement "head") = [ EventBeginElement "link" - [ ("rel", [ContentText "stylesheet"]) - , ("href", bootstrap) - ] - , EventEndElement "link" - , EventBeginElement "link" [ ("rel", [ContentText "stylesheet"]) , ("href", [ContentText "https://fonts.googleapis.com/css?family=Open+Sans"]) ] @@ -52,17 +44,9 @@ getHaddockR slug rest , ("href", stylesheet) ] , EventEndElement "link" - , EventBeginElement "script" - [ ("src", jquery) - ] - , EventEndElement "script" - , EventBeginElement "script" - [ ("src", script) - ] - , EventEndElement "script" , t ] - addExtra t@(EventBeginElement "body" _) = [t] ++ nav + addExtra t@(EventBeginElement "body" _) = [t] addExtra t = [t] req <- parseUrl $ unpack $ makeURL slug rest (_, res) <- acquireResponse req >>= allocateAcquire @@ -88,34 +72,6 @@ redirectWithVersion slug rest = return (Just (HaddockR slug [pkg <> "-" <> version, file])) _ -> return Nothing -nav :: [Event] -nav = - el "nav" - [("class","navbar navbar-default")] - (el "div" - [("class","container")] - (el "div" - [("class","navbar-header")] - (el "a" - [("href","https://haskell-lang.org/packages") - ,("class","navbar-brand")] - (el "span" [("class","logo")] [] ++ text "Haskell")) ++ - el "div" - [("class","navbar-collapse")] - (el "ul" - [("id","bootstrap-nav"), - ("class","nav navbar-nav")] - (concat [el "li" [] (el "a" [] (text "Source")) - ,el "li" [] (el "a" [] (text "Contents")) - ,el "li" [] (el "a" [] (text "Index")) - ])))) - where text x = [EventContent (ContentText x)] - el name props inner = open ++ inner ++ close - where open = - [EventBeginElement name - (map (\(k,v) -> (k,[ContentText v])) props)] - close = [EventEndElement name] - getHaddockBackupR :: [Text] -> Handler () getHaddockBackupR rest = track "Handler.Haddock.getHaddockBackupR" $ redirect $ concat $ "https://s3.amazonaws.com/haddock.stackage.org" diff --git a/static/haddock/style.css b/static/haddock/style.css index bb40250..0890bb2 100644 --- a/static/haddock/style.css +++ b/static/haddock/style.css @@ -1,266 +1,306 @@ -/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * - Global styles -*/ +/* @group Fundamentals */ +* { margin: 0; padding: 0 } + +/* Is this portable? */ html { - position:relative; - min-height:100%; + background-color: white; + width: 100%; + height: 100%; } body { - background:#fff; - font-family: "Open Sans", sans-serif; - font-size:14px; - margin:0 0 6em; - padding:0; - overflow-y:scroll; + background: white; + color: black; + text-align: left; + min-height: 100%; + position: relative; } -pre { - font-family: ubuntu mono, monospace; +p { + margin: 0.8em 0; } -code { - background: #eee; - color: #4F4371; - font-family: ubuntu mono, monospace; +ul, ol { + margin: 0.8em 0 0.8em 2em; } -.wrap { - background:#fff; - padding-bottom:2em; +dl { + margin: 0.8em 0; } -p,ul,li { - font-size:15px; +dt { + font-weight: bold; } - -h1 { - margin-top:.1em; - margin-left:0; - text-indent:-.05em; -} - -h2 { - color:#6e618d; -} - -.muted { - opacity: 0.6; -} - -.footer { - background-color:#323232; - color:#999; - position:absolute; - bottom:0; - width:100%; - height:4em; - overflow: hidden; - line-height:2em; -} - -.footer p { - margin-top:1em; - font-size:13px; - height: 30px; - overflow: hidden; -} - -.footer a { - color: #fff; -} - -.footer .item + .item { +dd { margin-left: 2em; } -.logo { - background-image: url(/static/img/haskell-logo.png); - background-size: 21px auto; - background-repeat: no-repeat; - background-position: center; - padding: 10px; -} +a { text-decoration: none; } +a[href]:link { color: rgb(196,69,29); } +a[href]:visited { color: rgb(171,105,84); } +a[href]:hover { text-decoration:underline; } -.span12 ul li + li { - margin-top: 0.5em; -} +/* @end */ -.api-docs, .api-docs:hover { - font-size: 15px; - padding-left: 0.25em; - padding-right: 0.25em; - padding-bottom: 0.125em; - border-radius: 0.125em; - background: #4f4371; - color: #fff; - text-decoration: none; - } +/* @group Fonts & Sizes */ -/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * - Syntax highlighting (hscolour) +/* Basic technique & IE workarounds from YUI 3 + For reasons, see: + http://yui.yahooapis.com/3.1.1/build/cssfonts/fonts.css */ -pre .hs-comment { color:#555 } -pre .hs-keyword { color:#397460 } -pre .hs-str { color:#366354 } -pre .hs-conid { color:#4F4371 } -pre .hs-varop, pre .hs-keyglyph { color:#8f4e8b } -pre .hs-varid { color:#333 } -pre .hs-num { color:#4F4371 } -pre .hs-definition { color: #2e659c } -pre .diff { color:#555 } -pre code .title { color:#333 } -pre code .string { color:#366354 } -pre code .built_in { color:#397460 } -pre code .preprocessor { color:#4F4371 } -pre code .comment { color:#555 } -pre code .command { color:#397460 } -pre code .special { color:#333 } -pre code .formula { color:#4F4371 } -pre code .keyword { color:#397460 } -pre code .number { color:#4F4371 } -pre code .header { color:#555 } -pre code .deletion { background-color:#FDD; color:#695B5B } -pre code .addition { background-color:#DFD; color:#000 } - -code .hs-definition { color: #2e659c } -code .hs-comment { color:#555 } -code .hs-keyword { color:#397460 } -code .hs-str { color:#366354 } -code .hs-conid { color:#4F4371 } -code .hs-varop, code .hs-keyglyph { color:#8f4e8b } -code .hs-varid { color:#333 } -code .hs-num { color:#4F4371 } -code .diff { color:#555 } - -/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * - Navigation -*/ - -.mobile > .navbar { - display: none; -} -.navbar { - background-color:#352f44; - border-radius:0; - border:0; +body { + font:13px/1.4 sans-serif; + *font-size:small; /* for IE */ + *font:x-small; /* for IE in quirks mode */ } -.navbar-brand { - color:#fff; +h1 { font-size: 146.5%; /* 19pt */ } +h2 { font-size: 131%; /* 17pt */ } +h3 { font-size: 116%; /* 15pt */ } +h4 { font-size: 100%; /* 13pt */ } +h5 { font-size: 100%; /* 13pt */ } + +select, input, button, textarea { + font:99% sans-serif; +} + +table { font-size:inherit; - font-weight:700; - margin-left: 0 !important; - padding-left:0; + font:100%; } -.navbar-default .navbar-brand { - color:#fff; +pre, code, kbd, samp, tt, .src { + font-family:monospace; + *font-size:108%; + line-height: 124%; } -.navbar-brand .logo { - margin-right:.5em; - color:#fff; -} - -.navbar-default .navbar-nav > .active > a { - color:#d1cddc!important; - background-color:#312b3f; - border-bottom:.3em solid #465787; -} - -.navbar-default .navbar-brand:hover, -.navbar-default .navbar-brand:focus { - color:#fff; -} - -.navbar-default .navbar-nav > .active > a:hover, -.navbar-default .navbar-nav a:hover, -.navbar-default .navbar-nav > .active > a:focus { - color:#fff!important; - background-color:#312b3f; -} - -.navbar-default .navbar-nav > li > a { - color:#d1cddc!important; - background-color:inherit; -} - -.navbar a:hover { - color: #c3a6e0; -} - -/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * - Template -*/ - -.template .navbar { - margin-bottom:.5em; -} - -.template code { - background-color:#f5f5f5; - color:#366354; -} - -.template pre { - font-size:14px; - word-wrap: normal; -} - -.template .container > .row { - max-width:none; -} - -.template .breadcrumb { - padding-left:0; - background-color:inherit; - margin-bottom:0; -} - -.template .breadcrumb li { - margin-right: 5px; -} - -/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * - Haddock-specific CSS -*/ - -#package-header { -} - -#page-menu { - display: none; -} - -#table-of-contents a code { - background: inherit; - border: 0; - padding: 0; - color: inherit; - font-size: inherit; -} - -#table-of-contents .caption { - font-weight: bold; +.links, .link { + font-size: 85%; /* 11pt */ } #module-header .caption { - font-family: inherit; - font-weight: 500; - line-height: 1.1; - color: inherit; - font-size: 36px; - margin-top: .1em; - margin-left: 0; - text-indent: -.05em; + font-size: 182%; /* 24pt */ } -/* Who really reads this info? */ -#module-header .info { - display: none; +.info { + font-size: 85%; /* 11pt */ +} + +#table-of-contents, #synopsis { + /* font-size: 85%; /* 11pt */ +} + + +/* @end */ + +/* @group Common */ + +.caption, h1, h2, h3, h4, h5, h6 { + font-weight: bold; + color: rgb(78,98,114); + margin: 0.8em 0 0.4em; +} + +* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { + margin-top: 2em; +} + +h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 { + margin-top: inherit; +} + +ul.links { + list-style: none; + text-align: left; + float: right; + display: inline-table; + margin: 0 0 0 1em; +} + +ul.links li { + display: inline; + border-left: 1px solid #d5d5d5; + white-space: nowrap; + padding: 0; +} + +ul.links li a { + padding: 0.2em 0.5em; +} + +.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; +} +p.caption.collapser, +p.caption.expander { + background-position: 0 0.4em; +} +.collapser, .expander { + padding-left: 14px; + margin-left: -14px; + cursor: pointer; +} + +pre { + padding: 0.25em; + margin: 0.8em 0; + background: rgb(229,237,244); + overflow: auto; + border-bottom: 0.25em solid white; +/* white border adds some space below the box to compensate + for visual extra space that paragraphs have between baseline + and the bounding box */ +} + +.src { + background: #f0f0f0; + padding: 0.2em 0.5em; +} + +.keyword { font-weight: normal; } +.def { font-weight: bold; } + + +/* @end */ + +/* @group Page Structure */ + +#content { + margin: 0 auto; + padding: 0 2em 6em; +} + +#package-header { + background: rgb(41,56,69); + border-top: 5px solid rgb(78,98,114); + color: #ddd; + padding: 0.2em; + position: relative; + text-align: left; +} + +#package-header .caption { + background: url(hslogo-16.png) no-repeat 0em; + color: white; + margin: 0 2em; + 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-weight: bold; + border-bottom: 1px solid #ddd; +} + +table.info { + float: right; + padding: 0.5em 1em; + border: 1px solid #ddd; + color: rgb(78,98,114); + background-color: #fff; + max-width: 40%; + border-spacing: 0; + position: relative; + top: -0.5em; + margin: 0 0 0 2em; +} + +.info th { + padding: 0 1em 0 0; +} + +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 { + background: #ddd; + border-top: 1px solid #aaa; + padding: 0.5em 0; + color: #666; + text-align: center; + position: absolute; + bottom: 0; + width: 100%; + height: 3em; +} + +/* @end */ + +/* @group Front Matter */ + +#table-of-contents { + float: right; + clear: right; + background: #faf9dc; + border: 1px solid #d8d7ad; + padding: 0.5em 1em; + max-width: 20em; + margin: 0.5em 0 1em 1em; +} + +#table-of-contents .caption { + text-align: center; + margin: 0; +} + +#table-of-contents ul { + list-style: none; + margin: 0; +} + +#table-of-contents ul ul { + margin-left: 2em; } #description .caption { @@ -271,123 +311,324 @@ code .diff { color:#555 } display: none; } -.top { +.no-frame #synopsis { + display: block; + position: fixed; + right: 0; + height: 80%; + top: 10%; + padding: 0; +} + +#synopsis .caption { + float: left; + width: 29px; + color: rgba(255,255,255,0); + height: 110px; + margin: 0; + font-size: 1px; + padding: 0; +} + +#synopsis p.caption.collapser { + background: url(synopsis.png) no-repeat -64px -8px; +} + +#synopsis p.caption.expander { + background: url(synopsis.png) no-repeat 0px -8px; +} + +#synopsis ul { + height: 100%; + overflow: auto; + padding: 0.5em; + margin: 0; +} + +#synopsis ul ul { + overflow: hidden; +} + +#synopsis ul, +#synopsis ul li.src { + background-color: #faf9dc; + white-space: nowrap; + list-style: none; + margin-left: 0; +} + +/* @end */ + +/* @group Main Content */ + +#interface div.top { margin: 2em 0; } +#interface h1 + div.top, +#interface h2 + div.top, +#interface h3 + div.top, +#interface h4 + div.top, +#interface h5 + div.top { margin-top: 1em; - padding-top: 1em; } -.top > .src { - background: #efefef; - margin-left: -5px; - margin-right: -5px; - padding: 5px; - border-radius: 3px; -} - -.src { font-family: monospace; padding: 0; } -.src .keyword, .src .keyword:hover { color:#397460; text-decoration: none; } -.src .def, .src .def:hover, .src a { color:#4F4371; text-decoration: none;} -.src a[href]:hover { text-decoration: underline; } - -.top > .src > .selflink { - padding-right: 0.5em; +#interface p.src .link { float: right; - font-family: "Open Sans", sans-serif; - color: #428bca; + color: #919191; + border-left: 1px solid #919191; + background: #f0f0f0; + padding: 0 0.5em 0.2em; + margin: 0 -0.5em 0 0.5em; } -.top > .src > .link { - float: right; - font-family: "Open Sans", sans-serif; - color: #428bca; +#interface span.fixity { + color: #919191; + border-left: 1px solid #919191; + padding: 0.2em 0.5em 0.2em 0.5em; + margin: 0 -1em 0 1em; } -.subs .caption { - margin-top: 0.5em; - font-weight: bold; +#interface span.rightedge { + border-left: 1px solid #919191; + padding: 0.2em 0 0.2em 0; + margin: 0 0 0 1em; } -body > pre { - background: #fff; - border: 0; - padding-top: 0; -} - -nav + pre { - margin-top: -5px; -} - -.src .fixity { - color: #888; -} - -.src .fixity:before { - content: " ("; - color: #888; -} -.src .fixity:after { - content: ")"; - color: #888; -} - -.doc code a { - color: #4F4371 !important; -} - -.instances td.src { - width: 50%; +#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.8em; } -h4 { margin-top: 1em; } - -.hide,.show {display: none !important;} - -.collapser { cursor: pointer } -.collapser:before { - content:"\25B6 "; - font-size: 0.6em; - color: #666; -} -.collapser.active:before { - content: "\25BC "; - font-size: 0.6em; - color: #666; +.subs dl { + margin: 0; } -code code { padding: 0; margin: 0; } - -h4.collapser { font-size: 15px; font-weight: bold } - -.subs > .src { - background: #f5f5f5; - padding: 5px; - border-radius: 3px; - min-width: 50%; +.subs dt { + float: left; + clear: left; + display: block; + margin: 1px 0; } -.subs > .src > .link { +.subs dd { float: right; - font-family: "Open Sans", sans-serif; - color: #428bca; + width: 90%; + display: block; + padding-left: 0.5em; + margin-bottom: 0.5em; } -.subs .arguments td.doc { - padding-left: 1em; +.subs dd.empty { + display: none; } -.constructors table { - border-collapse: separate; - border-spacing: 3px; -} -.constructors td.src { - background: #f5f5f5; - padding: 5px 6px 5px 6px; - border-radius: 3px; - font-weight: bold; +.subs dd p { + margin: 0; } -.top > .doc, .top > .subs { +/* Render short-style data instances */ +.inst ul { + height: 100%; + padding: 0.5em; + margin: 0; +} + +.inst, .inst li { + list-style: none; margin-left: 1em; } -.doc.empty { display: none; } +.top p.src { + border-top: 1px solid #ccc; +} + +.subs, .doc { + /* use this selector for one level of indent */ + padding-left: 2em; +} + +.warning { + color: red; +} + +.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 */ + + +.extension-list { + list-style-type: none; + margin-left: 0; +} + +#mini { + margin: 0 auto; + padding: 0 1em 1em; +} + +#mini > * { + font-size: 93%; /* 12pt */ +} + +#mini #module-list .caption, +#mini #module-header .caption { + font-size: 125%; /* 15pt */ +} + +#mini #interface h1, +#mini #interface h2, +#mini #interface h3, +#mini #interface h4 { + font-size: 109%; /* 13pt */ + margin: 1em 0 0; +} + +#mini #interface .top, +#mini #interface .src { + margin: 0; +} + +#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: 131%; /* 17pt */ } + +#index table { + margin-left: 2em; +} + +#index .src { + font-weight: bold; +} +#index .alt { + font-size: 77%; /* 10pt */ + 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 li { + clear: right; +} + +#module-list span.collapser, +#module-list span.expander { + background-position: 0 0.3em; +} + +#module-list .package { + float: right; +} + +/* @end */ +body { font-family: "Open Sans", ubuntu, sans-serif; font-size: 14px } + + +#synopsis > .show > *,#synopsis > .show { + background: inherit; +} +#synopsis ul, #synopsis ul li.src { + background: inherit; +} + +#package-header { + background: #352f44; + border:0; + color: #fff !important; + line-height: 30px +} +#package-header .caption { + color: #fff !important; + background: url(/static/img/haskell-logo.png) ; + background-image: url(/static/img/haskell-logo.png); + background-size: 21px auto; + background-repeat: no-repeat; + background-position: left; + padding: 5px 5px 5px 30px; +} +a { + color: #005b89 !important +} + +#package-header > ul > li > a { + color: #fff !important +} +#package-header > ul > li > a:hover { + color: #fff !important; + background: inherit; +} +#package-header .links li { + border: 0; +} +.caption { color: #6e618d!important } +pre{ background: #f8f8f8; padding: 1em; } +pre, pre * { font-family: "ubuntu mono", "Monaco" !important; font-size: 13px !important; } +#table-of-contents { + background: #f8f8f8; + border: 1px solid #eee; +} +.doc > .warning { + color: #c09853; + padding: 0px 35px 0px 14px; + margin-bottom: 20px; + text-shadow: 0 1px 0 rgba(255,255,255,0.5); + background-color: #fcf8e3; + border: 1px solid #fbeed5; + -webkit-border-radius: 2px; + -moz-border-radius: 2px; + border-radius: 2px; +} From c20670f0ebccfe2230110f21d2612a5f802c19a9 Mon Sep 17 00:00:00 2001 From: Chris Done Date: Tue, 23 Aug 2016 17:47:12 +0200 Subject: [PATCH 7/7] Only colorize href'd a's --- static/haddock/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/haddock/style.css b/static/haddock/style.css index 0890bb2..d8ff95f 100644 --- a/static/haddock/style.css +++ b/static/haddock/style.css @@ -600,7 +600,7 @@ body { font-family: "Open Sans", ubuntu, sans-serif; font-size: 14px } background-position: left; padding: 5px 5px 5px 30px; } -a { +a[href] { color: #005b89 !important }