fix ul's; fix github's view-source buttons