diff --git a/theme/ttcn.css b/theme/ttcn.css
index cf19c1476d64136dc9dc9bae5b53860928366745..b3d465645bd5d6d2c2b12b520505ebc53cb849b3 100644
--- a/theme/ttcn.css
+++ b/theme/ttcn.css
@@ -1,38 +1,37 @@
-.cm-quote { color: #090; }
-.cm-negative { color: #d44; }
-.cm-positive { color: #292; }
-.cm-header, .cm-strong { font-weight: bold; }
-.cm-em { font-style: italic; }
-.cm-link { text-decoration: underline; }
-.cm-strikethrough { text-decoration: line-through; }
-.cm-header { color: #00f; font-weight: bold; }
+.cm-s-ttcn .cm-quote { color: #090; }
+.cm-s-ttcn .cm-negative { color: #d44; }
+.cm-s-ttcn .cm-positive { color: #292; }
+.cm-s-ttcn .cm-header, .cm-strong { font-weight: bold; }
+.cm-s-ttcn .cm-em { font-style: italic; }
+.cm-s-ttcn .cm-link { text-decoration: underline; }
+.cm-s-ttcn .cm-strikethrough { text-decoration: line-through; }
+.cm-s-ttcn .cm-header { color: #00f; font-weight: bold; }
 
-.cm-atom { color: #219; }
-.cm-attribute { color: #00c; }
-.cm-bracket { color: #997; }
-.cm-comment { color: #333333; }
-.cm-def { color: #00f; }
-.cm-em { font-style: italic; }
-.cm-error { color: #f00; }
-.cm-hr { color: #999; }
-.cm-invalidchar { color: #f00; }
-.cm-keyword { font-weight:bold; }
-.cm-link { color: #00c; text-decoration: underline; }
-.cm-meta { color: #555; }
-.cm-negative { color: #d44; }
-.cm-positive { color: #292; }
-.cm-qualifier { color: #555; }
-.cm-strikethrough { text-decoration: line-through; }
-.cm-string { color: #006400; }
-.cm-string-2 { color: #f50; }
-.cm-strong { font-weight: bold; }
-.cm-tag { color: #170; }
-.cm-variable { color: #8B2252; }
-.cm-variable-2 { color: #05a; }
-.cm-variable-3 { color: #085; }
+.cm-s-ttcn .cm-atom { color: #219; }
+.cm-s-ttcn .cm-attribute { color: #00c; }
+.cm-s-ttcn .cm-bracket { color: #997; }
+.cm-s-ttcn .cm-comment { color: #333333; }
+.cm-s-ttcn .cm-def { color: #00f; }
+.cm-s-ttcn .cm-em { font-style: italic; }
+.cm-s-ttcn .cm-error { color: #f00; }
+.cm-s-ttcn .cm-hr { color: #999; }
+.cm-s-ttcn .cm-invalidchar { color: #f00; }
+.cm-s-ttcn .cm-keyword { font-weight:bold; }
+.cm-s-ttcn .cm-link { color: #00c; text-decoration: underline; }
+.cm-s-ttcn .cm-meta { color: #555; }
+.cm-s-ttcn .cm-negative { color: #d44; }
+.cm-s-ttcn .cm-positive { color: #292; }
+.cm-s-ttcn .cm-qualifier { color: #555; }
+.cm-s-ttcn .cm-strikethrough { text-decoration: line-through; }
+.cm-s-ttcn .cm-string { color: #006400; }
+.cm-s-ttcn .cm-string-2 { color: #f50; }
+.cm-s-ttcn .cm-strong { font-weight: bold; }
+.cm-s-ttcn .cm-tag { color: #170; }
+.cm-s-ttcn .cm-variable { color: #8B2252; }
+.cm-s-ttcn .cm-variable-2 { color: #05a; }
+.cm-s-ttcn .cm-variable-3 { color: #085; }
 
-.cm-s-default .cm-error { color: #f00; }
-.cm-invalidchar { color: #f00; }
+.cm-s-ttcn .cm-invalidchar { color: #f00; }
 
 /* ASN */
 .cm-s-ttcn .cm-accessTypes,