{-# LANGUAGE NoImplicitPrelude #-}
module IHaskell.CSS (ihaskellCSS) where
import IHaskellPrelude
ihaskellCSS :: String
ihaskellCSS :: String
ihaskellCSS =
[String] -> String
unlines
[
String
"/* Styles used for the Hoogle display in the pager */"
, String
".hoogle-doc {"
, String
"display: block;"
, String
"padding-bottom: 1.3em;"
, String
"padding-left: 0.4em;"
, String
"}"
, String
".hoogle-code {"
, String
"display: block;"
, String
"font-family: monospace;"
, String
"white-space: pre;"
, String
"}"
, String
".hoogle-text {"
, String
"display: block;"
, String
"}"
, String
".hoogle-name {"
, String
"color: green;"
, String
"font-weight: bold;"
, String
"}"
, String
".hoogle-head {"
, String
"font-weight: bold;"
, String
"}"
, String
".hoogle-sub {"
, String
"display: block;"
, String
"margin-left: 0.4em;"
, String
"}"
, String
".hoogle-package {"
, String
"font-weight: bold;"
, String
"font-style: italic;"
, String
"}"
, String
".hoogle-module {"
, String
"font-weight: bold;"
, String
"}"
, String
".hoogle-class {"
, String
"font-weight: bold;"
, String
"}"
,
String
".get-type {"
, String
"color: green;"
, String
"font-weight: bold;"
, String
"font-family: monospace;"
, String
"display: block;"
, String
"white-space: pre-wrap;"
, String
"}"
, String
".show-type {"
, String
"color: green;"
, String
"font-weight: bold;"
, String
"font-family: monospace;"
, String
"margin-left: 1em;"
, String
"}"
, String
".mono {"
, String
"font-family: monospace;"
, String
"display: block;"
, String
"}"
, String
".err-msg {"
, String
"color: red;"
, String
"font-style: italic;"
, String
"font-family: monospace;"
, String
"white-space: pre;"
, String
"display: block;"
, String
"}"
, String
"#unshowable {"
, String
"color: red;"
, String
"font-weight: bold;"
, String
"}"
, String
".err-msg.in.collapse {"
, String
"padding-top: 0.7em;"
, String
"}"
,
String
".highlight-code {"
, String
"white-space: pre;"
, String
"font-family: monospace;"
, String
"}"
,
String
".suggestion-warning { "
, String
"font-weight: bold;"
, String
"color: rgb(200, 130, 0);"
, String
"}"
, String
".suggestion-error { "
, String
"font-weight: bold;"
, String
"color: red;"
, String
"}"
, String
".suggestion-name {"
, String
"font-weight: bold;"
, String
"}"
]