pretty view for cmdline.html