Update doc generation so it compiles with latest Idris master

Get rid of multi-line strings to fix build from previous version

Reformat docs CSS file to comply with code style guide (and make the …

…linter happy)