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