Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Merge branch 'master' of github.com:spockz/lhs2texhl

  • Loading branch information...
commit 9a07959ae6f1c7382e64b0f56432210b2a3e115a 2 parents 9cb7373 + a6d2433
@spockz spockz authored
Showing with 6 additions and 4 deletions.
  1. +6 −4 examples/solarized/solarized.theme
View
10 examples/solarized/solarized.theme
@@ -10,7 +10,8 @@
\definecolor{keyword}{RGB}{116, 139, 0}
\definecolor{special1}{RGB}{159,138,0}
\definecolor{string}{RGB}{3, 106, 7}
-\definecolor{char} {RGB}{3, 106, 7}
+\definecolor{char}{RGB}{3, 106, 7}
+\definecolor{constant}{RGB}{38, 139, 210}
\newcommand{\lhsCHsyntax}[1]{\color{syntax}{{#1}}}
\newcommand{\lhsCHfunction}[1]{\color{function}{{#1}}}
@@ -20,7 +21,8 @@
\newcommand{\lhsCHconstructor}[1]{\color{constructor}{\textbf{#1}}}
\newcommand{\lhsCHtype}[1]{\color{datatype}{{#1}}}
\newcommand{\lhsCHclass}[1]{\color{class}{{#1}}}
+\newcommand{\lhsCHconstant}[1]{\color{constant}{{#1}}}
-%subst char a = "\color{char}\text{\tt ''" a "''}"
-%subst string a = "\color{string}\text{\tt \char34 " a "\char34}"
-%subst numeral a = "\color{numeral}{ " a " }"
+%subst char a = "\color{char}\text{\tt ''" a "''}"
+%subst string a = "\color{string}\text{\tt \char34 " a "\char34}"
+%subst numeral a = "\color{numeral}{ " a " }"
Please sign in to comment.
Something went wrong with that request. Please try again.