.footer {
    background-color: #f5f5f5;
}

#main-container{
    margin-top: 60px;
}


#dir_search, #dir_search:active, #dir_search:focus, #dir_search:target{
    border: thin solid #0a67fb;
}

span.highlight_keyword{
    background-color: yellow;
    border:solid thin #9e9e9e;
    padding: 5px;
    border-radius: 5px;
    box-shadow:0px 0px 3px grey;
}

div#tools {
    /*max-width: 96px;*/
    padding: 1em;
    position: fixed;
    float: right;
    z-index: 99;
    display: flex;
    right: 0;
    margin-top: 24px;
    border: solid thin grey;
    border-radius: 10px 0 0 10px;
    box-shadow: -2px 0 10px #333333;
    -moz-box-shadow: -2px 0 10px #333333;
    -webkit-box-shadow: -2px 0 10px #333333;
}

div#tools > ul {
    padding-left: 0;
}

div#tools > ul > li {
    list-style: none;
}

div#tools > ul > li > button {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}