#34 Feature: Detailed Device Exporting

Many additional device properties are available to export. The previous export configuration is remembered.
2014-05-22 01:22:57 +10:00
parent 53ca13c7f4
commit 3fdb4f1053
54 changed files with 1750 additions and 397 deletions
@@ -422,6 +422,10 @@ a {
            border: 1px solid @ButtonBorderHoverColour;
            background: @ButtonHoverColour;
        }
+
+        i {
+            margin-right: 10px;
+        }
    }

 div.actionBar {
@@ -901,12 +905,10 @@ select {
    border: 1px solid #ccc;
    padding: 2px;
    color: #444;
-    min-width: 200px;
 }

 select.small {
    padding: 0;
-    min-width: 150px;
 }

 input[type="submit"], button {