New output css class for md2html (#172)

* New output css class for md2html

* margins and padding taken from Highlights.jl
pull/185/merge
Toby Driscoll 2019-02-26 02:16:27 -05:00 committed by Matti Pastell
parent 6e0daf9335
commit 26cf943d25
2 changed files with 9 additions and 1 deletions

View File

@ -122,7 +122,7 @@ end
const md2html = JMarkdown2HTML("Julia markdown to html", Dict{Symbol,Any}(
:codestart => "\n",
:codeend=> "\n",
:outputstart=> "<pre class=\"hljl\">",
:outputstart=> "<pre class=\"output\">",
:outputend=> "</pre>\n",
:fig_ext=> ".png",
:mimetypes => ["image/png", "image/jpg", "image/svg+xml",

View File

@ -515,6 +515,14 @@ pre.sourceCode.julia {
border-radius: 4px;
}
pre.output {
filter : brightness(90%);
border : none;
/* matching hard-coded values in Highlights.jl */
margin : 5px;
padding : 5px;
}
pre.julia-error {
color : red
}