From 8c34a1bd61a7489f7bbc515c6f56a716476b2917 Mon Sep 17 00:00:00 2001
From: Arjit Chaudhary <arjit.c@gmail.com>
Date: Wed, 23 Sep 2015 01:17:29 +0530
Subject: [PATCH] Wrap header in panel

http://i.imgur.com/vObwD4w.png
---
 html/pages/device.inc.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/html/pages/device.inc.php b/html/pages/device.inc.php
index 6bb1bf4faa..9300574ac0 100644
--- a/html/pages/device.inc.php
+++ b/html/pages/device.inc.php
@@ -32,11 +32,11 @@ if (device_permitted($vars['device']) || $check_device == $vars['device']) {
         $device['os_group'] = $config['os'][$device['os']]['group'];
     }
 
-    echo '<table style="margin: 0px 7px 7px 7px;" cellspacing="0" class="devicetable" width="99%">';
-    // include("includes/hostbox.inc.php");
-    require 'includes/device-header.inc.php';
-
+    echo '<div class="panel panel-default">';
+        echo '<table style="margin: 0px 7px 7px 7px;" cellspacing="0" class="devicetable" width="99%">';
+        require 'includes/device-header.inc.php';
     echo '</table>';
+    echo '</div>';
 
 
     if (device_permitted($device['device_id'])) {