1 files changed, 4 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css
index 781f2b389..2e6cdee07 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -348,3 +348,7 @@ legend {
 	background: #eee; 
 	color: black !important;
 }
+
+span.color {
+	padding: 2px;
+}