/*
 * OS specific stylesheet to deal with differing font sizes (mainly) between platforms.
 * This stylesheet contains styles for Windows, and is also the default.
 */

body
{
	font-size:small;
}

/*
 * Header
 */
div#global-nav div#room-availability
{
	margin-top:24px;
}
	div#global-nav div#room-availability div#room-availability-text
	{
		padding-top:1px; /* It's actually the IE browsers that get this right - set up Firefox first then override */
		#padding-top:7px;
	}

/*
 * Site list dropdown
 */
div#site-list-drop
{
	font-size:80%;
}