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