/*
This CSS is separately made from wp-admin.css.
All the CSS properties used here are Mozilla-proprietary and therefore cannot be valid.
*/

.wrap {
	-moz-border-radius: 10px;
	}
#submenu a:hover, #submenu .current {
	-moz-border-radius: 6px 6px 0 0;
	}