More css
This commit is contained in:
parent
0eadf387e6
commit
bac7f8019d
1 changed files with 13 additions and 1 deletions
14
lib/views.ml
14
lib/views.ml
|
@ -23,12 +23,24 @@ let layout ~title:title_ body_ =
|
||||||
(head (title (txt title_))
|
(head (title (txt title_))
|
||||||
[style ~a:[a_mime_type "text/css"]
|
[style ~a:[a_mime_type "text/css"]
|
||||||
[
|
[
|
||||||
|
txt "body {\
|
||||||
|
margin: 40px auto;\
|
||||||
|
line-height: 1.6;\
|
||||||
|
color: #444;\
|
||||||
|
padding: 0 10px;\
|
||||||
|
}";
|
||||||
|
txt "h1,h2,h3{line-height:1.2}";
|
||||||
txt ".output-ts {\
|
txt ".output-ts {\
|
||||||
white-space: nowrap;\
|
white-space: nowrap;\
|
||||||
cursor: pointer;\
|
cursor: pointer;\
|
||||||
user-select: none;\
|
user-select: none;\
|
||||||
}";
|
}";
|
||||||
txt ".output-code { overflow: visible; }"
|
txt ".output-ts a {text-decoration: none;}";
|
||||||
|
txt ".output-ts a:hover {text-decoration: underline;}";
|
||||||
|
txt ".output-code {\
|
||||||
|
overflow: visible;\
|
||||||
|
white-space: pre;\
|
||||||
|
}";
|
||||||
]])
|
]])
|
||||||
(body body_)
|
(body body_)
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue