machinery.css in machinery-tool-1.15.0

- old
+ new

@@ -16,10 +16,19 @@
 
 #nav-bar a:hover {
   text-decoration: none;
 }
 
+.nav-bar-title {
+  float: left;
+  padding: 5px;
+}
+
+.nav-buttons {
+  padding: 9px 0px;
+}
+
 .scope{
   border-spacing: 5px;
 }
 
 a.scope_anchor,
@@ -36,12 +45,14 @@
   line-height: 1;
   color: #999999;
   font-size: 65%;
 }
 
-.scope-navigation {
-  margin-left: 30px;
+.btn-reset {
+  height: 30px;
+  line-height: 1;
+  margin-left: 5px;
 }
 
 .inspection_details {
   margin-left: 30px;
 }
@@ -63,25 +74,21 @@
 .scope th.tiny {
   width: 5%;
 }
 
 .scope th.small {
+  width: 8%;
+}
+
+.scope th.medium {
   width: 12%;
 }
 
 .scope-summary .summary-part {
   padding-left: 20px;
 }
 
-.filter-input {
-  margin-bottom: 10px;
-}
-
-.filter-input input {
-  width: 250px;
-}
-
 .fixed {
   position: fixed;
 }
 
 span.toggle {
@@ -212,10 +219,14 @@
 
 #diff-unmanaged-files-file {
   margin-bottom: 1em;
 }
 
+.diff-unmanaged-files {
+  padding-left: 10px;
+}
+
 .well .dismiss{
   margin: -14px;
 }
 
 .dismiss {
@@ -226,8 +237,21 @@
   cursor: pointer;
   background-color: white;
   border-radius: 50%;
 }
 
-.show-common-elements, .hide-common-elements {
+.scope-summary a,
+.show-common-elements,
+.hide-common-elements {
   text-decoration: underline;
+}
+
+.spinner {
+  background-image: url("file_loader.gif");
+  background-repeat: no-repeat;
+  margin-left: auto;
+  margin-right: auto;
+  width: 32px;
+  height: 32px;
+  min-width: 32px;
+  min-height: 32px;
 }