From 07fd517fdacdb250c816f7a75e28df84a40c4a00 Mon Sep 17 00:00:00 2001
From: Thomas Tanghus <thomas@tanghus.net>
Date: Sun, 5 Aug 2012 02:54:18 +0200
Subject: [PATCH] Make 3rd party label a bit smaller.
---
settings/css/settings.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/settings/css/settings.css b/settings/css/settings.css
index f73e3e77347..373b15bff68 100644
--- a/settings/css/settings.css
+++ b/settings/css/settings.css
@@ -48,7 +48,7 @@ h3 { font-size: 1.4em; font-weight: bold; }
ul.applist li { height: 2.2em; padding: 0.2em 0.2em 0.2em 0.8em !important; }
li { color:#888; }
li.active { color:#000; }
-small.externalapp { color:#FFF; background-color:#BBB; font-weight:bold; font-size: 0.6em; margin: 0; padding: 2px; border-radius: 4px;}
+small.externalapp { color:#FFF; background-color:#BBB; font-weight:bold; font-size: 0.6em; margin: 0; padding: 0.1em 0.2em; border-radius: 4px;}
small.externalapp.list { float: right; }
span.version { margin-left:3em; margin-right:3em; color:#555; }
--
GitLab