From 26cf943d256a8b8494e68da3a3938c36c54ae689 Mon Sep 17 00:00:00 2001 From: Toby Driscoll Date: Tue, 26 Feb 2019 02:16:27 -0500 Subject: [PATCH] New output css class for md2html (#172) * New output css class for md2html * margins and padding taken from Highlights.jl --- src/formatters.jl | 2 +- templates/skeleton_css.css | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/src/formatters.jl b/src/formatters.jl index ba98be8..7cef86e 100644 --- a/src/formatters.jl +++ b/src/formatters.jl @@ -122,7 +122,7 @@ end const md2html = JMarkdown2HTML("Julia markdown to html", Dict{Symbol,Any}( :codestart => "\n", :codeend=> "\n", - :outputstart=> "
",
+        :outputstart=> "
",
         :outputend=> "
\n", :fig_ext=> ".png", :mimetypes => ["image/png", "image/jpg", "image/svg+xml", diff --git a/templates/skeleton_css.css b/templates/skeleton_css.css index db29d36..9d17130 100644 --- a/templates/skeleton_css.css +++ b/templates/skeleton_css.css @@ -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 }