removed CSS for filename-:hover; simpler and works better with hotkeys to move round the filename-list
removed CSS for filename-:hover; simpler and works better with hotkeys to move round the filename-list

cyber-dojo/web,cyber-dojo/web,cyber-dojo/web,cyber-dojo/web