mirror of
https://github.com/commercialhaskell/stackage-server.git
synced 2026-01-12 20:28:32 +01:00
387 lines
6.7 KiB
CSS
387 lines
6.7 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; }
|