a:link, a:visited, a:active, a:hover {
    text-decoration: none;
    color: #0000ff;
}

a:hover {
    color: #bb0000;
}

a.menu-element:link, a.menu-element:visited, a.menu-element:active, a.menu-element:hover {
    font-weight: bold;
    text-decoration: none;
    font-family: arial;
    font-size: 14px;
}

a.menu-element-a:link, a.menu-element-a:visited, a.menu-element-a:active,a.menu-element-a:hover {
    font-weight: bold;
    text-decoration: none;
    font-family: arial;
    font-size: 14px;
    color: #ff0000;
}

a.menu-element-a:hover {
    text-decoration: none;
    font-family: arial;
    font-size: 14px;
    color: #bb0000;
}

.versions a.submenu-a {
    border-left: 1px solid black;
}

a.submenu:link, a.submenu:visited, a.submenu:active, a.submenu:hover {
    text-decoration: none;
    font-family: arial;
    font-size: 12px;
    font-weight: normal;
}

a.submenu-a:link, a.submenu-a:visited, a.submenu-a:active {
    text-decoration: none;
    font-family: arial;
    font-size: 12px;
    font-weight: normal;
    color: #ff0000;
    padding: 0 5px;
    margin: 2px 0;
}

a.submenu-a:hover {
    text-decoration: none;
    font-family: arial;
    font-size: 12px;
    font-weight: normal;
    color: #0000ff;
    padding: 0 5px;
    margin: 2px 0;
}

.opto_submenu a.submenu {
    display: inline-block;
    padding: 0 5px;
    margin: 2px 0;
}

.opto_submenu a.submenu-a:link, .opto_submenu a.submenu-a:visited, .opto_submenu a.submenu-a:active {
    font-weight: normal;
    display: inline-block;
}

.prefix span {
    display: inline-block;
    font-weight: bold;
    font-size: 12px;
    color: #0000ff;
    padding: 0 5px;
    margin: 2px 0;
}

.prefix a.submenu {
    display: inline-block;
    font-weight: bold;
    padding: 0 5px;
    margin: 2px 0;
}

.versions a.submenu {
    display: inline-block;
    padding: 0 5px;
    margin: 2px 0;
    border-left: 1px solid black;
}

.prefix a.submenu-a:link, .prefix a.submenu-a:visited, .prefix a.submenu-a:active {
    font-weight: bold;
    display: inline-block;
}

a.product:link, a.product:visited, a.product:active, product:hover {
    text-decoration: none;
    font-family: arial;
    font-weight: bold;
    font-size: 12px;
}

a.menu-sub-element:link, a.menu-sub-element:visited, a.menu-sub-element:active, a.menu-sub-element:hover {
    text-decoration: none;
    text-align: right;
    font-family: arial;
    font-weight: normal;
    font-size: 12px;
}

a.menu-sub-element-a:link, a.menu-sub-element-a:visited, a.menu-sub-element-a:active {
    text-decoration: none;
    text-align: right;
    font-family: arial;
    font-weight: normal;
    font-size: 12px;
    color: #ff0000;
}

a.menu-sub-element-a:hover {
    text-decoration: none;
    text-align: right;
    font-family: arial;
    font-weight: normal;
    font-size: 12px;
    color: #bb0000;
}

a.inactiv:link, a.inactiv:visited, a.inactiv:active, a.inactiv:hover {
    font-family: arial;
    font-weight: bold;
    font-size: 12px;
    color: #666666;
}

a.wiki, a.wiki:visited, a.wiki:active {
    text-decoration: none;
    font-family: arial;
    font-size: 12px;
    font-weight: bold;
    color: Green;
}

a.wiki:hover {
    color: Olive;
}