<?php
/*
	Side+Top (Multi) Menu styles..
	This menu sits at the side (small size) and if the page gets too narrow, switches to a top menu.

	This MUST be included, usually via @@module@@ statements. It is /not/ called directly.
*/
echo <<<CSS

.tools {
	position: fixed;
	left: 1.2rem;
	top: 1.2rem;
	margin: 0;
	font-size: 2.4rem;
}


@media screen and (max-width: 920px) {
@@menu-top@@
}

@@menu-shrink@@


CSS;
?>