improved legibility of HTML source; simplified settings