[PATCH] ui: Reduce size of quoted comments

[Ali Alnubani]

From: Thomas Monjalon <thomas.monjalon at 6wind.com>

The quoted comments are already written in the previous comment.
Being smaller (in addition to be green) makes them easier to visually
skip.

Signed-off-by: Thomas Monjalon <thomas.monjalon at 6wind.com>
---
 htdocs/css/style.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/htdocs/css/style.css b/htdocs/css/style.css
index 04abfc1..5bcdefa 100644
--- a/htdocs/css/style.css
+++ b/htdocs/css/style.css
@@ -276,6 +276,8 @@ table.patchmeta tr th, table.patchmeta tr td {
 
 .quote {
 	color: #007f00;
+	font-size: 85%;
+	line-height: 85%;
 }
 
 span.p_header	{ color: #2e8b57; font-weight: bold; }
-- 
2.11.0