ui: Fixed aggregation click and activation of already active symbol

2016-02-03 15:23:24 +01:00
parent b40e49b633
commit 5c49eaf293
4 changed files with 22 additions and 1 deletions
@@ -10,6 +10,8 @@
 	background-color: <color:code/snippet/background>;
 	border: 2px solid <color:code/file/background>;
 	border-radius: 12px;
+	border-top-left-radius: 14px;
+	border-top-right-radius: 14px;
 	padding-bottom: 7px;
 }