/* menu */

.menu .denied {
    font-weight: bold;
    color: #888888;
    padding: 0.2em 2.8em;
}


/* menu_main */

.menu_main .showhide {
    padding: 0 0 0.2em 0;
}

.menu_main .show, .menu_main .hide {
    margin: 0 0.6em;
}

.menu_main > ul > li > a {
    font-weight: bold;
}

.menu_main ul {
    list-style-type: none;
    margin: 0.4em 0 0.4em 0.4em;
    padding: 0;
}

.menu_main ul > li.expandable > ul {
    display: none;
}

.menu_main ul > li.expanded > ul {
    display: block;
}

.menu_main ul > li {
    background-repeat: no-repeat;
    background-position: 0 0.1em;
    padding: 0 0 0 1em;
}

/*
  commented out, generated dynamically as in-line styles depending
  on the value of the configuration option $basedir

.menu_main ul > li {
    background-image: url("$basedir/module/main/final.png");
}

.menu_main ul > li.expandable {
    background-image: url("$basedir/module/main/collapsed.png");
}

.menu_main ul > li.expanded {
    background-image: url("$basedir/module/main/expanded.png");
}
*/


/* menu_edit */

.menu_edit {
    color: #226d48;
}

.menu_edit > div {
    padding: 0 0.6em;
}

.menu_edit .menu_edit_title {
    font-weight: bold;
}

.menu_edit ul {
    list-style-type: none;
    margin: 0.1em 0;
}

.menu_edit ul > li {
    display: inline;
    margin: 0;
}

.menu_edit > div > ul {
    padding: 0 0 0 0.4em;
}

.menu_edit > div > ul > li {
    display: block;
    padding: 0 0 0 0.4em;
}

.menu_edit > div > ul ul {
    padding: 0;
}

.menu_edit > div > ul ul > li {
    padding: 0 0 0 0.8em;
}

.menu_edit hr {
    color: #226d48;
    margin: 0.2em;
}