<?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

.tools {
	z-index: 100;
	position: absolute;
	left: 0;
	top: 0;
	width: 98%;
	font-size: 2.2rem;
	overflow: visible;
}


%%menu_elem_css_string%% {
	float: left;
	margin-top: 1rem;
	margin-left: 1.25rem;
	padding: 0;
}

CSS;
?>