From d009e158803956c76adbf8f58a62884c3e7affb3 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 26 Jan 2016 23:47:23 -0800 Subject: 2605 --- html/029tools.cc.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/029tools.cc.html') diff --git a/html/029tools.cc.html b/html/029tools.cc.html index 5355d922..69b67fb9 100644 --- a/html/029tools.cc.html +++ b/html/029tools.cc.html @@ -13,8 +13,8 @@ pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-family: monospace; color: #eeeeee; background-color: #080808; } * { font-size: 1.05em; } -.traceContains { color: #008000; } .SalientComment { color: #00ffff; } +.traceContains { color: #008000; } .cSpecial { color: #008000; } .CommentedCode { color: #6c6c6c; } .Comment { color: #9090ff; } -- cgit 1.4.1-2-gfad0