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