styles and js for syntax highlighting, new favicon