css: bigger and darker font
css: add border for code block