different appearance of anchor links and small refactor of js (fixes #13)