From 28a6012930bafd2da1f3077b9f30b84e6ffb1047 Mon Sep 17 00:00:00 2001
From: Tom Laermans <tom@localhost>
Date: Sat, 9 Jan 2010 02:10:34 +0000
Subject: [PATCH] fix yellow border around devices selector as well

git-svn-id: http://www.observium.org/svn/observer/trunk@632 61d68cd4-352d-0410-923a-c4978735b2b8
---
 html/includes/functions.inc.php |  4 ++--
 html/pages/devices.php          | 22 +++-------------------
 2 files changed, 5 insertions(+), 21 deletions(-)

diff --git a/html/includes/functions.inc.php b/html/includes/functions.inc.php
index 3840ea447..8640f555a 100644
--- a/html/includes/functions.inc.php
+++ b/html/includes/functions.inc.php
@@ -26,7 +26,7 @@ function generate_port_thumbnail($args) {
     echo $output;
 }
 
-function print_optionbar_start () {
+function print_optionbar_start ($height = 20) {
   echo("
     <div style='margin:auto; text-align: center; margin-top: 0px; margin-bottom: 10px;'>
     <b class='rounded'>
@@ -36,7 +36,7 @@ function print_optionbar_start () {
     <b class='rounded4'></b>
     <b class='rounded5'></b></b>
     <div class='roundedfg' style='padding: 0px 5px;'>
-    <div style='margin: auto; text-align: left; padding: 2px 5px; padding-left: 11px; clear: both; display:block; height:20px;'>");
+    <div style='margin: auto; text-align: left; padding: 2px 5px; padding-left: 11px; clear: both; display:block; height:" . $height . "px;'>");
 }
 
 
diff --git a/html/pages/devices.php b/html/pages/devices.php
index a500117c8..82a7463f6 100644
--- a/html/pages/devices.php
+++ b/html/pages/devices.php
@@ -1,12 +1,4 @@
-<div style='margin:auto; text-align: center; margin-top: 10px;'>
-  <b class='rounded'>
-  <b class='rounded1'></b>
-  <b class='rounded2'></b>
-  <b class='rounded3'></b>
-  <b class='rounded4'></b>
-  <b class='rounded5'></b></b>
-  <div class='roundedfg' style='padding: 0px 5px;'>
-  <div style='margin: auto; padding:5px;'>
+<?php print_optionbar_start(52); ?>
 <table cellpadding=4 cellspacing=0 class=devicetable width=100%>
 <form method='post' action=''>
 <tr> 
@@ -84,18 +76,10 @@
            </tr>
   </form>
 </table>
-</div>
-</div>
-  <b class='rounded'>
-  <b class='rounded5'></b>
-  <b class='rounded4'></b>
-  <b class='rounded3'></b>
-  <b class='rounded2'></b>
-  <b class='rounded1'></b></b>
-</div>
-
 
 <?php
+print_optionbar_end();
+
 
 if($_POST['hostname']) { $where = " AND hostname LIKE '%".$_POST['hostname']."%'"; }
 if($_POST['os']) { $where = " AND os = '".$_POST['os']."'"; }