ui: Reduce size of quoted comments

Message ID 20190108123834.2225-4-alialnu@mellanox.com
State New
Headers show
Series
  • ui: Reduce size of quoted comments
Related show

Commit Message

Ali Alnubani Jan. 8, 2019, 12:38 p.m.
From: Thomas Monjalon <thomas.monjalon@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@6wind.com>
---
 htdocs/css/style.css | 2 ++
 1 file changed, 2 insertions(+)

Patch

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; }