webui: Renamed themes dir to ui

- Eliminated intermediate bootstrap dir

ui/static/bower_components/bootstrap/less/mixins/tab-focus.less

@@ -0,0 +1,9 @@
+// WebKit-style focus
+
+.tab-focus() {
+  // WebKit-specific. Other browsers will keep their default outline style.
+  // (Initially tried to also force default via `outline: initial`,
+  // but that seems to erroneously remove the outline in Firefox altogether.)
+  outline: 5px auto -webkit-focus-ring-color;
+  outline-offset: -2px;
+}