I look forward to the inevitable Change Your Admin Font Back to Open Sans plugin. Assuming a font-change plugin doesn't already exist, of course... :-)