.rule {
    white-space: pre-wrap;
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    background-color: #f8f8f8;
    color: #1c1c1c;
    padding: 0.3rem 0.5rem;
    margin: 0.2rem;
    border-radius: 0.2rem;
    box-shadow: rgba(0, 0, 0, 0.24) 0px 0px 2px;
    font-size: 0.9rem;
}

#unusedTagsContainer {
    width: min(95vw, 70rem);
    height: 10rem;
    background-color: #e3e3e3;
    box-shadow: rgba(0, 0, 0, 0.24) 0px 0px 4px;
    margin: 1rem;
    margin-left: 0.5rem;
    margin-top: 0.3rem;
}
#unusedTags {
    height: 7.8rem;
    overflow-y: auto;
    padding-bottom: 0.2rem;
}
#tagsSearch {
    margin: 0.3rem;
    font-size: 1rem;
}

#usedTags {
    width: min(95vw, 70rem);
    min-height: 2rem;
    padding: 0.2rem 0;
    overflow-y: auto;
    background-color: #e3e3e3;
    box-shadow: rgba(0, 0, 0, 0.24) 0px 0px 4px;
    margin: 1rem;
    margin-left: 0.5rem;
}

#rulesSearch {
    margin-left: 0.4rem;
    width: min(90vw, 20rem);
    font-size: 1.3rem;
}

#rules {
    width: min(95vw, 70rem);
    height: calc(100vh - 21rem);
    min-height: 18rem;
    background-color: #e3e3e3;
    box-shadow: rgba(0, 0, 0, 0.24) 0px 0px 4px;
    margin: 1rem;
    margin-left: 0.5rem;
    margin-top: 0.6rem;
    overflow-y: auto;
}

@media (max-width: 600px) {
    #rules {
        height: auto;
        overflow-y: hidden;
    }
}

#menu {
    position: fixed;
    z-index: 11; /* Most times is 2000 used as middle */
    visibility: hidden;
    opacity: 0;

    padding: 0px;
    background: #fff;
    color: #555;
    border: 1px solid #C6C6C6;
    font-size: 0.8rem;

    -webkit-transition: opacity .1s ease-in-out;
    -moz-transition: opacity .1s ease-in-out;
    transition: opacity .1s ease-in-out;

    -webkit-box-shadow: 2px 2px 2px 0px rgba(143, 144, 145, 1);
    -moz-box-shadow: 2px 2px 2px 0px rgba(143, 144, 145, 1);
    box-shadow: 2px 2px 2px 0px rgba(143, 144, 145, 1);
}

#menu span {
    display: block;
    color: #555;
    text-decoration: none;
    padding: 0.35rem 0.4rem 0.35rem 1rem;
    width: 4.25rem;
    position: relative;
}

#menu span:hover {
    color: #fff;
    background: #3879D9;
    cursor: pointer;
}