[PATCH 4/4] ui: Reduce size of quoted comments

[Thomas Monjalon]

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 0bf4b43..33822d1 100644
--- a/htdocs/css/style.css
+++ b/htdocs/css/style.css
@@ -266,6 +266,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.7.0