modify background color at div.highlight in cafe-mint-julep-soda theme
add bootstrap and cafe-mint-julep-soda in themebench.html.
use the newest minified jquery.js in themebench.html.