fix yellow border around devices selector as well

git-svn-id: http://www.observium.org/svn/observer/trunk@632 61d68cd4-352d-0410-923a-c4978735b2b8
This commit is contained in:
Tom Laermans
2010-01-09 02:10:34 +00:00
parent 78180e5f3a
commit 28a6012930
2 changed files with 5 additions and 21 deletions
+2 -2
View File
@@ -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;'>");
}