smaller body font
slightly better CSS for permalink modal