Minor aesthetic changes (thread name for file watcher and CSS code
style).