add minimal as framework to inst/libraries
add prettify to highlighters