stackage-server/static/haddock/style.css
2016-08-26 15:58:29 +02:00

389 lines
6.8 KiB
CSS

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
Global styles
*/
html {
position:relative;
min-height:100%;
}
body {
background:#fff;
font-family: "Open Sans", sans-serif;
font-size:14px;
margin:0 0 6em;
padding:0;
overflow-y:scroll;
}
pre {
font-family: ubuntu mono, monospace;
}
code {
background: #eee;
color: #4F4371;
font-family: ubuntu mono, monospace;
}
.wrap {
background:#fff;
padding-bottom:2em;
}
p,ul,li {
font-size:15px;
}
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 {
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;
}
.span12 ul li + li {
margin-top: 0.5em;
}
.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;
}
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
Syntax highlighting (hscolour)
*/
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;
}
.navbar-brand {
color:#fff;
font-size:inherit;
font-weight:700;
margin-left: 0 !important;
padding-left:0;
}
.navbar-default .navbar-brand {
color:#fff;
}
.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;
}
#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;
}
/* Who really reads this info? */
#module-header .info {
display: none;
}
#description .caption {
display: none;
}
#synopsis {
display: none;
}
.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 > .link {
float: right;
font-family: "Open Sans", sans-serif;
color: #428bca;
}
.subs .caption {
margin-top: 0.5em;
font-weight: bold;
}
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%;
vertical-align: top;
}
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;
}
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 > .src > .link {
float: right;
font-family: "Open Sans", sans-serif;
color: #428bca;
}
.subs .arguments td.doc {
padding-left: 1em;
}
.constructors table {
border-collapse: separate;
border-spacing: 3px;
}
.constructors td.src {
background: #f5f5f5;
padding: 5px 6px 5px 6px;
border-radius: 3px;
font-weight: bold;
}
.top > .doc, .top > .subs {
margin-left: 1em;
}
.doc.empty { display: none; }
a.selflink { float right; padding-right: 0.5em }