/**
* #003366 - jira top nav background
* #3C78B5 - jira menu bar background
* #BBBBBB - jira table border grey
*/
div.jira-menubutton {
    border: 1px #bbb solid;
    background-color: white;
    margin: 0;
}

.jira-menubutton ul {
    margin: 0;
    padding: 3px 0px;
    list-style: none;
}

.jira-menubutton ul li {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

.jira-menubutton ul li.groupmarker {
    border-top: 1px solid #ddd;
    padding-top: 3px;
    margin-top: 3px;
}

.jira-menubutton ul li a,
    .jira-menubutton ul li span {
    /*
     * colors are not specified here but in global_css.jsp
     * because it can be customised
     *
    background: #fff;
    color: #036;
    */
    display: block;
    font-size: 11px;
    padding: 3px 12px 4px;
    _position: relative;
}

.jira-menubutton ul li a:link,
    .jira-menubutton ul li a:visited {
    text-decoration: none;
}

.jira-menubutton ul li a:hover,
    .jira-menubutton ul li a:active,
    .jira-menubutton ul li a:focus {
    /*
     * colors are not specified here but in global_css.jsp
     * because it can be customised
     *
    background-color: #325c82;
    color: #fff;
    */
}