From f188f3357dd6dc96550d707a50cd30be624cfc53 Mon Sep 17 00:00:00 2001
From: Fabian Reinartz <fab.reinartz@gmail.com>
Date: Wed, 11 Nov 2015 13:33:33 +0100
Subject: [PATCH] Format alert filtering section

---
 ui/app/css/main.css         |  2 +-
 ui/app/partials/alerts.html | 16 ++++++++++------
 2 files changed, 11 insertions(+), 7 deletions(-)

diff --git a/ui/app/css/main.css b/ui/app/css/main.css
index e9455aab..2ceccf73 100644
--- a/ui/app/css/main.css
+++ b/ui/app/css/main.css
@@ -38,7 +38,7 @@ header #logo {
 	padding: 2.5em;
 }
 
-#silence-create {
+#silence-create, #filter-alerts {
 	background: #fff;
 	width: 100%;
 	min-width: 400px;
diff --git a/ui/app/partials/alerts.html b/ui/app/partials/alerts.html
index 091e81e8..2d8c48d1 100644
--- a/ui/app/partials/alerts.html
+++ b/ui/app/partials/alerts.html
@@ -1,9 +1,13 @@
-<fieldset id="silence-create">
-	<legend>Filter</legend>
-	<select class="select" ng-model="receivers" multiple>
-		<option ng-repeat="dest in allReceivers" value="{{ dest }}">{{ dest }}</option>
-	</select>
-</fieldset>
+<form id="filter-alerts" method="post" action="" class="forms">
+	<fieldset>
+		<legend>Filter</legend>
+
+		<label>Receivers</label>
+		<select name="select-multi" class="width-2" ng-model="receivers" multiple="multiple">
+			<option ng-repeat="dest in allReceivers" value="{{ dest }}">{{ dest }}</option>
+		</select>
+	</fieldset>
+</form>
 
 <div id="alert-groups" ng-controller="AlertsCtrl">
 	<div class="alert-group" ng-repeat="group in groups | filter:notEmpty">