.tag-btn {
/* background-color: #f0f0f0; */
/* color: #333; */
/* border: 1px solid #ccc; */
border: .3px solid gray;
border-radius: 5px;
padding: 5px 10px;
cursor: pointer;
margin: 5px;
}

.tag-btn.active {
/* background-color: #007bff; */
color: white;
}

.display-small-btn {
border-radius: 5px;
border: .3px solid gray;
margin: 3px;
}

div.search-result {
    margin: 10px 0;
    padding: 10px;
    border: 1px solid #ccc;
    border-radius: 5px;
}

.search-result p.paper {
    font-size: 1em;
}

h3.search-result-title {
    margin: 0;
    padding: 0;
}

h3.search-result-title a{
font-size: 1em;
color: #007bff;
}