From df724a78b70bd7455f68dc147f51d8c1263feb51 Mon Sep 17 00:00:00 2001
From: Richard Mayhew <richard@splash.co.za>
Date: Mon, 12 Feb 2018 17:50:16 +0200
Subject: [PATCH] webui: Fix panel device header for themes (#8238)

* New event log severity model

* Revert "New event log severity model"

This reverts commit 0783527af8ca492a562cc9a60e3887c24599000d.

* Fixed Panel Bar - #8157

* Reverted back the counter
---
 html/includes/functions.inc.php | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/html/includes/functions.inc.php b/html/includes/functions.inc.php
index 0941ab38a3..bfe4df036c 100644
--- a/html/includes/functions.inc.php
+++ b/html/includes/functions.inc.php
@@ -757,14 +757,18 @@ function print_port_thumbnail($args)
 function print_optionbar_start($height = 0, $width = 0, $marginbottom = 5)
 {
     echo '
-        <div class="well well-sm">
+        <div class="panel panel-default">
+        <div class="panel-heading">
         ';
 }//end print_optionbar_start()
 
 
 function print_optionbar_end()
 {
-    echo '  </div>';
+    echo '
+        </div>
+        </div>
+        ';
 }//end print_optionbar_end()