small format tweak to nginx.html

use a <pre> for the config section, can go out whenever