From 41d52b1be1c85c5b52971cd6be901a67b2df7e64 Mon Sep 17 00:00:00 2001
From: laf <neil@lathwood.co.uk>
Date: Sun, 15 Jun 2014 14:04:19 +0100
Subject: [PATCH] Update print_optionbar_* to use well instead of panels

---
 html/includes/functions.inc.php | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/html/includes/functions.inc.php b/html/includes/functions.inc.php
index 45b1aec84b..e0c25d212d 100644
--- a/html/includes/functions.inc.php
+++ b/html/includes/functions.inc.php
@@ -480,15 +480,13 @@ function print_port_thumbnail($args)
 function print_optionbar_start ($height = 0, $width = 0, $marginbottom = 5)
 {
   echo('
-        <div class="panel panel-default">
-          <div class="panel-heading">
+        <div class="well">
 ');
 }
 
 function print_optionbar_end()
 {
   echo('  </div>');
-  echo('  </div>');
 }
 
 function geteventicon($message)