From 1d9ffb62e450d127ec253d11aa2507e0118656b4 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 30 Oct 2007 14:47:48 +0000 Subject: [PATCH] Preprocessor in prism.css file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@492 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/prism.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/etc/prism.css b/prism/etc/prism.css index 1bab4b20..a24d6bc8 100644 --- a/prism/etc/prism.css +++ b/prism/etc/prism.css @@ -2,3 +2,5 @@ .prismident { color:#cc0000 } .prismnum { color:#0000cc } .prismcomment { font-style:italic; color:#009900 } +.prismpreproc { color:#a020f0; } +