@fat: 0;
@cloudhead: "#000000";
//
// IE Filters
//
.nav {
	filter: ~'progid:DXImageTransform.Microsoft.gradient(startColorstr="#333333", endColorstr="@{cloudhead}", GradientType=@{fat})';
}
.nav {
	filter: ~"progid:DXImageTransform.Microsoft.Alpha(opacity=@{fat})";
}
.nav {
	filter: ~'progid:DXImageTransform.Microsoft.gradient(startColorstr="#333333", endColorstr="@{cloudhead}", GradientType=@{fat})';
}

//
// IE Hacks
//
body {
	*zoom: 1px;
}