<?php
/*
	Top Menu styles..
	This MUST be included, usually via @@module@@ statements. It is /not/ called directly.

	NOTE: this menu variant is often @@included@@ last, so that it can override top-
	based element values.
*/
echo <<<CSS


@media screen and (min-width: 801px) and (max-width: 920px) {
	.tools {
		font-size: 2.2rem;
	}
}

@media screen and (max-width: 800px) {
	.tools {
		font-size: 1.9rem;
	}
	%%menu_elem_css_string%% {
		margin-left: 1rem;
	}
}
@media screen and (max-width: 640px) {
	.tools {
		font-size: 1.5rem;
	}
	%%menu_elem_css_string%% {
		margin-top: 1.2rem;
		margin-left: 0.85rem;
	}
}

/*@media screen and (max-width: 420px) {*/
/*	.tools {*/
/*		font-size: 1.4rem;*/
/*	}*/
/*}*/


CSS;
?>