/*!
 * VisualEditor MediaWiki UserInterface Tool styles.
 *
 * @copyright 2011-2013 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-ui-dropdownTool-mwFormat ul {
	font-size: 80%;
}