From e4bd764a96b4438784cd8a69ac0ff522aeb26860 Mon Sep 17 00:00:00 2001 From: Kevin Sawicki Date: Thu, 3 Jan 2013 13:26:42 -0800 Subject: [PATCH] Tweak padding, color, and border-radius of match --- .../command-panel/stylesheets/command-panel.css | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/packages/command-panel/stylesheets/command-panel.css b/src/packages/command-panel/stylesheets/command-panel.css index 02bb7e3cf..47b698fdc 100644 --- a/src/packages/command-panel/stylesheets/command-panel.css +++ b/src/packages/command-panel/stylesheets/command-panel.css @@ -17,7 +17,7 @@ } .command-panel .preview-list li.selected, .command-panel .preview-list li.operation:hover { - background-color: rgba(255, 255, 255, .20); + background-color: rgba(255, 255, 255, .2); } .command-panel .preview-list:focus li.selected { @@ -26,9 +26,15 @@ .command-panel .preview-list .path { padding-left: 3px; + padding-bottom: 2px; color: #f9ee98; } +.command-panel .preview-list .operation { + padding-top: 2px; + padding-bottom: 2px; +} + .command-panel .preview-list .li { background-color: #000000; color: #ededed; @@ -45,7 +51,8 @@ } .command-panel .preview-list .preview .match { - background-color: rgba(255,255,255,.25); + background-color: rgba(255, 255, 255, .2); + -webkit-border-radius: 2px; padding: 1px; }