gui: Fixed box-sizing for gui-tabs

Author: andersevenrud

src/client/stylesheets/gui.css

@@ -522,20 +522,23 @@ gui-expander {
 gui-tabs {
   display : block;
   position : relative;
+  box-sizing : border-box;
 }
   gui-tabs > ul {
     display : block;
     list-style-type : none;
     margin : 0;
     padding : 0;
     white-space: nowrap;
+    box-sizing : border-box;
   }
     gui-tabs > ul > li {
       position : relative;
       display : inline-block;
       margin : 0;
       padding : 0;
       height : 100%;
+      box-sizing : border-box;
     }
     /*gui-tabs > ul > li.gui-active {
     }*/
@@ -551,6 +554,7 @@ gui-tabs {
     overflow : hidden;
     display : none;
     position : relative;
+    box-sizing : border-box;
   }
     gui-tab-container.gui-active {
       display : block;