Tone down the semicolon

preamble.tex

@@ -176,6 +176,7 @@
 \definecolor{keywordcolor1} {rgb}{0.00, 0.20, 0.47}
 \definecolor{keywordcolor3} {rgb}{0.33, 0.24, 0.03} % Red color used in the past: {0.90, 0.00, 0.00}
 \definecolor{commentcolor}  {rgb}{0.42, 0.60, 0.24}
+\definecolor{semicoloncolor}{rgb}{0.60, 0.60, 0.60}
 
 % When producing PDF, the ttfamily looks better in size \small, but with LaTeXML this becomes too small,
 % and the size is applied deep down on the HTML elements, making it hard to adjust using CSS.
@@ -226,6 +227,7 @@
         terminal,noEvent,smooth,sample,pre,edge,change,reinit,%
         previous,hold,subSample,superSample,shiftSample,backSample,noClock,firstTick,interval,%
         Real,Integer,Boolean,String},%
+    literate=*{;}{{{\color{semicoloncolor};}}}{1}, % Grayed out semicolon.
     comment=[l]{//}, % comment lines
     morecomment=[s]{/*}{*/}, % comment blocs
     morestring=[b]{'},