optimizing/cleaning up

tabs/cli.css

@@ -6,7 +6,7 @@
     }
     .tab-cli .window {
         margin-top: 10px;
-        height: 350px;
+        height: 345px;
 
         padding: 5px;
 
@@ -22,8 +22,11 @@
         -webkit-user-select: text;
     }
     .tab-cli textarea {
+        -webkit-box-sizing: border-box;
+
+        width: 100%;
+
         margin-top: 8px;
-        display: block;
 
         height: 20px;
         line-height: 20px;

tabs/cli.js

@@ -65,9 +65,6 @@ function tab_initialize_cli() {
                 textarea.val(cli_history.next());
         });
 
-        // apply dynamic width to the textarea element according to cli window width (minus padding and border width)
-        $('div.tab-cli textarea').width($('div.tab-cli .window').outerWidth() - 7);
-
         // give input element user focus
         $('.tab-cli textarea').focus();
     });