corrected Ctrl-button symbol for Mac
antialias text in webkit/Mac