web frontend for rst2pdf, width Dockerfile