#search-bar {
    background-image: url("/static/searchicon.png");
    background-position: 10px 12px;
    background-repeat: no-repeat;
    background-size: 20px;
    width: 100%;
    font-size: 16px;
    padding: 12px 20px 12px 40px;
    border: 1px solid #ddd;
    margin-bottom: 12px;
}

#huge-list {
    /* Remove default list styling */
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#huge-list li a {
    border-bottom: 1px solid #ddd;
    /* Add a border to all links */
    margin-top: -1px;
    /* Prevent double borders */
    padding: 12px;
    /* Add some padding */
    text-decoration: none;
    /* Remove default text underline */
    font-size: 18px;
    /* Increase the font-size */
    color: black;
    /* Add a black text color */
    display: block;
    /* Make it into a block element to fill the whole list */
}

#huge-list li a:hover {
    background-color: rgb(204, 210, 218);
    /* Add a hover effect to all links, except for headers */
}

#header {
    height: 60px;
    background-color: royalblue
}

#logo {
    width: 50px;
    height: 50px;
    margin-left: 20px;
    margin-top: 5px;
}

.container {
    margin-top: 30px;
}

#folder {
    height: 30px;
    vertical-align: bottom;
    float: left;
    margin-right: 15px;
    margin-top: 10px;
}

.directory {
    display: inline-block;
    vertical-align: middle;
    width: 100%;
}

.pdf {
    height: 30px;
    vertical-align: bottom;
    float: left;
    margin-right: 15px;
    margin-top: 10px;
}