module Language.Drasil.HTML.CSS where
import Text.PrettyPrint (Doc, text, vcat)
import Language.Drasil hiding (Expr)
makeCSS :: Document -> Doc
makeCSS :: Document -> Doc
makeCSS _ = [Doc] -> Doc
vcat [
String -> Doc
text "body {min-width: 400px; max-width: 1400px;}",
String -> Doc
text ".title {text-align: center;}",
String -> Doc
text ".author {text-align: center;}",
String -> Doc
text ".paragraph {text-align: justify;}",
[Doc] -> Doc
vcat [
String -> Doc
text ".cases {",
String -> Doc
text " display: inline-block;",
String -> Doc
text " vertical-align: middle;}"],
[Doc] -> Doc
vcat [
String -> Doc
text ".case {",
String -> Doc
text " float: right;",
String -> Doc
text " padding-left: 1em;}"],
[Doc] -> Doc
vcat [
String -> Doc
text ".cases > span {",
String -> Doc
text " display: block;",
String -> Doc
text " padding-top: 0.1em;",
String -> Doc
text " padding-left: 0em;}"],
[Doc] -> Doc
vcat [
String -> Doc
text ".casebr {",
String -> Doc
text " display: inline-block;",
String -> Doc
text " vertical-align: middle;",
String -> Doc
text " margin: 0 0.2em 0.4ex;",
String -> Doc
text " text-align: center;",
String -> Doc
text " font-size: 500%;}"],
[Doc] -> Doc
vcat [
String -> Doc
text ".caption {",
String -> Doc
text " text-align: center;",
String -> Doc
text " font-weight: bold;",
String -> Doc
text " padding-bottom: 1%;",
String -> Doc
text " line-height: 0;}"
],
[Doc] -> Doc
vcat [
String -> Doc
text ".fraction {",
String -> Doc
text " display: inline-block;",
String -> Doc
text " vertical-align: middle;",
String -> Doc
text " margin: 0 0.2em 0.4ex;",
String -> Doc
text " text-align: center;}"
],
[Doc] -> Doc
vcat [
String -> Doc
text ".fraction > span {",
String -> Doc
text " display: block;",
String -> Doc
text " padding-top: 0.15em;}"
],
String -> Doc
text ".fdn {border-top: thin solid black;}",
[Doc] -> Doc
vcat [
String -> Doc
text ".table {",
String -> Doc
text " text-align: left;",
String -> Doc
text " padding-left: 1%;",
String -> Doc
text " width: 90%;",
String -> Doc
text " margin-bottom: 2%;",
String -> Doc
text " margin-top: 2%}"],
[Doc] -> Doc
vcat [
String -> Doc
text "table, th, td {",
String -> Doc
text " border-collapse: collapse;",
String -> Doc
text " margin-left: auto;",
String -> Doc
text " margin-right: auto;}"],
String -> Doc
text "th, td {border: 1px solid black; padding: 0.5em;}",
String -> Doc
text ".tdefn, .ddefn {width: 75%; margin-top: 1%; margin-bottom: 1%;}",
String -> Doc
text ".tdefn th {width: 15%;}",
String -> Doc
text ".ddefn th {width: 15%;}",
String -> Doc
text ".section {width: 80%; margin: 0 auto; text-align: left;}",
[Doc] -> Doc
vcat [
String -> Doc
text ".code {",
String -> Doc
text " display: inline-block;",
String -> Doc
text " text-align: left;",
String -> Doc
text (" font-family: Monaco, Consolas, \"Andale Mono\"," String -> String -> String
forall a. [a] -> [a] -> [a]
++
"\"DejaVu Sans Mono\", monospace;"),
String -> Doc
text " font-size: 95%;",
String -> Doc
text " line-height: 140%;",
String -> Doc
text " white-space: pre;",
String -> Doc
text " white-space: pre-wrap;",
String -> Doc
text " white-space: -moz-pre-wrap;",
String -> Doc
text " white-space: -o-pre-wrap;",
String -> Doc
text " background: #faf8f0;}"],
String -> Doc
text ".list {text-align: left;}",
[Doc] -> Doc
vcat [
String -> Doc
text "figure {",
String -> Doc
text "text-align: center;",
String -> Doc
text "font-weight: bold;",
String -> Doc
text "}"],
[Doc] -> Doc
vcat [
String -> Doc
text "figure > img {",
String -> Doc
text "max-width: 100%;",
String -> Doc
text "}"],
[Doc] -> Doc
vcat [
String -> Doc
text ".matrix {",
String -> Doc
text " position: relative;",
String -> Doc
text " display: inline-table;",
String -> Doc
text " margin: 10px;",
String -> Doc
text " vertical-align: middle;}",
String -> Doc
text ".matrix:before, .matrix:after {",
String -> Doc
text " content: \"\";",
String -> Doc
text " position: absolute;",
String -> Doc
text " top: 0;",
String -> Doc
text " border: 1px solid #000;",
String -> Doc
text " width: 5px;",
String -> Doc
text " height: 100%;}",
String -> Doc
text ".matrix:before {",
String -> Doc
text " left: -5px;",
String -> Doc
text " border-right: 0px;}",
String -> Doc
text ".matrix:after {",
String -> Doc
text " right: -5px;",
String -> Doc
text " border-left: 0px;}",
String -> Doc
text ".matrix td {",
String -> Doc
text " padding: 5px;",
String -> Doc
text " text-align: center;",
String -> Doc
text " border: 0px;}"],
[Doc] -> Doc
vcat [
String -> Doc
text "ul.hide-list-style {",
String -> Doc
text " list-style-type: none;}"
],
[Doc] -> Doc
vcat [
String -> Doc
text "ul.hide-list-style-no-indent {",
String -> Doc
text " list-style-type: none;",
String -> Doc
text "padding: 0;}"
]
]
linkCSS :: String -> Doc
linkCSS :: String -> Doc
linkCSS fn :: String
fn =
String -> Doc
text (String -> Doc) -> String -> Doc
forall a b. (a -> b) -> a -> b
$ "<link rel=\"stylesheet\" type=\"text/css\" href=\""String -> String -> String
forall a. [a] -> [a] -> [a]
++String
fnString -> String -> String
forall a. [a] -> [a] -> [a]
++".css\">"