diff options
Diffstat (limited to 'ems/boco/target/site/jacoco-ut/jacoco-resources/prettify.css')
-rw-r--r-- | ems/boco/target/site/jacoco-ut/jacoco-resources/prettify.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/ems/boco/target/site/jacoco-ut/jacoco-resources/prettify.css b/ems/boco/target/site/jacoco-ut/jacoco-resources/prettify.css deleted file mode 100644 index be5166e..0000000 --- a/ems/boco/target/site/jacoco-ut/jacoco-resources/prettify.css +++ /dev/null @@ -1,13 +0,0 @@ -/* Pretty printing styles. Used with prettify.js. */ - -.str { color: #2A00FF; } -.kwd { color: #7F0055; font-weight:bold; } -.com { color: #3F5FBF; } -.typ { color: #606; } -.lit { color: #066; } -.pun { color: #660; } -.pln { color: #000; } -.tag { color: #008; } -.atn { color: #606; } -.atv { color: #080; } -.dec { color: #606; } |