/* This stylesheet is used to style the public view of the plugin. */
div#google_translate_element { margin: 0px 0px 10px 3px; }
div#google_translate_element a.goog-te-menu-value { font-size: 85%; }