IHaskell/html/custom.css

97 lines
1.5 KiB
CSS
Raw Normal View History

/*
Custom IHaskell CSS.
*/
2014-01-07 22:48:01 -05:00
/* Styles used for the Hoogle display in the pager */
.hoogle-doc {
display: block;
padding-bottom: 1.3em;
padding-left: 0.4em;
2014-01-07 22:48:01 -05:00
}
.hoogle-code {
display: block;
font-family: monospace;
white-space: pre;
}
.hoogle-text {
display: block;
}
.hoogle-name {
color: green;
font-weight: bold;
}
.hoogle-head {
2014-01-07 22:48:01 -05:00
font-weight: bold;
}
.hoogle-sub {
display: block;
margin-left: 0.4em;
}
.hoogle-package {
2014-01-07 22:48:01 -05:00
font-weight: bold;
font-style: italic;
}
.hoogle-module {
font-weight: bold;
}
.hoogle-class {
font-weight: bold;
}
2014-01-07 22:48:01 -05:00
/* Styles used for basic displays */
.get-type {
color: green;
font-weight: bold;
font-family: monospace;
2014-01-04 21:06:47 -05:00
display: block;
2014-01-04 23:01:21 -05:00
white-space: pre;
2014-01-04 21:06:47 -05:00
}
.show-type {
color: green;
font-weight: bold;
font-family: monospace;
margin-left: 1em;
}
2014-01-04 21:06:47 -05:00
.mono {
font-family: monospace;
display: block;
}
.err-msg {
color: red;
font-style: italic;
font-family: monospace;
white-space: pre;
2014-01-04 21:06:47 -05:00
display: block;
}
#unshowable {
color: red;
font-weight: bold;
}
.err-msg.in.collapse {
padding-top: 0.7em;
}
/* Code that will get highlighted before it is highlighted */
.highlight-code {
white-space: pre;
font-family: monospace;
}
/* Hlint styles */
.suggestion-warning {
font-weight: bold;
color: rgb(200, 130, 0);
}
.suggestion-error {
font-weight: bold;
color: red;
}
.suggestion-name {
font-weight: bold;
}