IdrisDoc, set charset and viewport
IdrisDoc, set charset and viewport

The meta-charset tag ensures that the charset is correclty detected even
if the HTTP Server is misconfigured or BOMs stripped.

The meta-viewport tag makes the documentation work on mobile devices and
tablets.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev