diff --git a/css/highlighting-dark.css b/css/highlighting-dark.css new file mode 100644 index 0000000..234dca6 --- /dev/null +++ b/css/highlighting-dark.css @@ -0,0 +1,57 @@ +/* Based on ultraviolet's espresso_libre.css */ +pre.sourceCode { + padding: 0.5em; + background-color: #2A211C; + color: #BDAE9D; +} +pre.sourceCode span.LineNumber { + display: none; +} +pre.numberLines span.LineNumber { + display: inline; +} +pre span.Normal { +} +pre span.Keyword { + font-weight: bold; + color: #43A8ED; +} +pre span.DataType { + text-decoration: underline; +} +pre span.DecVal { + color: #44AA43; +} +pre span.BaseN { + color: #44AA43; +} +pre span.Float { + color: #44AA43; +} +pre span.Char { + color: #049B0A; +} +pre span.String { + color: #049B0A; +} +pre span.Comment { + color: #0066FF; + font-style: italic; +} +pre span.Others { +} +pre span.Alert { + color: yellow; + font-weight: bold; +} +pre span.Function { + font-weight: bold; + color: #FF9358; +} +pre span.RegionMarker { +} +pre span.Error { + color: yellow; + font-weight: bold; +} + diff --git a/css/highlighting-kate.css b/css/highlighting-kate.css new file mode 100644 index 0000000..7386a25 --- /dev/null +++ b/css/highlighting-kate.css @@ -0,0 +1,56 @@ +/* Based on kate's own default colors for Haskell */ +pre.sourceCode { + padding: 0.5em; +} +pre.sourceCode span.LineNumber { + display: none; +} +pre.numberLines span.LineNumber { + display: inline; + background-color: #EBEBEB; + padding-right: 0; + margin-right: 3px; +} +pre span.Normal { +} +pre span.Keyword { + font-weight: bold; +} +pre span.DataType { + color: #800000; +} +pre span.DecVal { + color: #0000FF; +} +pre span.BaseN { + color: #0000FF; +} +pre span.Float { + color: #800080; +} +pre span.Char { + color: #FF00FF; +} +pre span.String { + color: #DD0000; +} +pre span.Comment { + color: #808080; + font-style: italic; +} +pre span.Others { +} +pre span.Alert { + color: green; + font-weight: bold; +} +pre span.Function { + color: #000080; +} +pre span.RegionMarker { +} +pre span.Error { + color: red; + font-weight: bold; +} +