More complete file list

2024-05-03 21:48:52 -05:00
parent 607cfe3b9f
commit db7605a16d
2 changed files with 15 additions and 5 deletions
@@ -70,3 +70,5 @@ a { color: #cccccc; }
 .buttons .run, .file-buttons .new { color: #66bb66 }
 .buttons .stop, .file-buttons .del { color: #bb6666 }
 .buttons .build { color: #aaaaff; }
+.files .file.selected-file { background-color: #686868 !important; }
+.files .file:hover { background-color: #505050; }