From ff5a90f2201e9858f0241750c21af76d040f098e Mon Sep 17 00:00:00 2001
From: Julio Montoya <gugli100@gmail.com>
Date: Wed, 24 Oct 2012 11:57:40 +0200
Subject: [PATCH] Minor fixing select

---
 main/dropbox/dropbox_functions.inc.php | 16 ++--------------
 1 file changed, 2 insertions(+), 14 deletions(-)

diff --git a/main/dropbox/dropbox_functions.inc.php b/main/dropbox/dropbox_functions.inc.php
index ea4582dd11..4275e058a1 100644
--- a/main/dropbox/dropbox_functions.inc.php
+++ b/main/dropbox/dropbox_functions.inc.php
@@ -522,20 +522,8 @@ function display_add_form() {
     	}
     	$complete_user_list_for_dropbox = TableSort::sort_table($complete_user_list_for_dropbox, 'lastcommafirst');
     }
-
-	?>
-
-    <select name="recipients[]" size="
-	<?php
-	if ($dropbox_person -> isCourseTutor || $dropbox_person -> isCourseAdmin) {
-		echo 10;
-	} else {
-		echo 6;
-	}
-
-	?>" multiple style="width: 350px;">
-	<?php
-
+    
+    echo '<select name="recipients[]" size="10" multiple class="span4">';	
 	/*
 		Create the options inside the select box:
 		List all selected users their user id as value and a name string as display