.button-hover-value {
    display: inline-block;
}

.has-hover-buttons:hover .hover-buttons {
    display: inline-block !important;
}

.hover-buttons .button {
    font-size: 75%;
    padding: 3px 8px;
    margin-left: 5px;
}

.project-tag {
    display: inline-block;
    background-color: #e0e0e0;
    border-radius: 4px;
    padding: 2px 6px;
    margin-right: 4px;
    font-size: 50%;
}

a.project-link {
    text-decoration: none !important;
}

a.project-link:hover {
    text-decoration: underline !important;
}