body
{
	font-size: 90%;
}

div#clock
{
	display: none;
}

.tabbertab
{
	height: 140px !important;
}

div#tools
{
	width: 322px !important;
}

div#shortcuts-top
{
	width: 250px !important;
}