Nicer fonts
Faster indexing