Feature: Device Importing & Exporting

2013-07-25 17:46:20 +10:00
parent a3aaed1d13
commit ad6b1b19b6
67 changed files with 3058 additions and 266 deletions
@@ -641,7 +641,7 @@ div.logEventsViewport
            margin-left: 6px;
            background-color: #222;
            color: #0F0;
-            font-family: Consolas, monospace;
+            font-family: @FontFamilyMono;
            border: 4px solid #CCC;
            -moz-border-radius: 4px;
            -webkit-border-radius: 4px;