@ -1,9 +1,3 @@
/* highlight messages */
.highlight {
color: yellow;
font-weight: bold;
}
/* style options, foreground */
.cof-separator {
color: #68b5d4;
@ -1936,3 +1930,9 @@
font-style: normal;
text-decoration: none;