.translation_box, .language_nav {
    font-size: 9px;
    font-weight: bold;
    margin: 10px 0;
    padding-left: 2em;
}
.translation_box a, .language_nav .language a {
    background: none repeat scroll 0 0 #EEEEEE;
    border-color: #FFFFFF #888888 #888888 #FFFFFF;
    border-style: solid;
    border-width: 1px;
    margin-right: 4px;
    padding: 3px;
    text-decoration: none;
}
.translation_box a.current, .language_nav .language.current a {
    background: none repeat scroll 0 0 #AAAAAA;
    border-color: #FFFFFF #888888 #888888 #FFFFFF;
    border-style: solid;
    border-width: 1px;
    padding: 3px;
    text-decoration: none;
}
.translation_box a:hover, .language_nav .language a:hover {
    text-decoration: underline;
}
.language_nav .language {
    float: left;
}