font-size:14; changed highlighted variable colors and search results highlights