@import url('https://fonts.googleapis.com/css2?family=Space+Mono:ital,wght@0,400;0,700;1,400;1,700&display=swap');
.happytheme {
    font-family: 'Space Mono', monospace;
}

.happytheme .navbar-brand {
    color: #222222;
    font-weight: 700;
}

.happytheme img {
    border: 3px solid #222222;
    padding: 5px;
    filter: blur(.2);
}

.happytheme .border-bottom-dotted {
    border-bottom: 3px solid #222222;
}

.happytheme .display-1,
.happytheme .display-2,
.happytheme .display-3,
.happytheme .display-4,
.happytheme .display-5,
.happytheme .display-6 {
    color: #222222!important;
    font-weight: bold;
}

.happytheme p {
    color: #000;
}

.happytheme .mybtn {
    border: 2px solid #222222;
    border-radius: 10px;
    padding: 5px 15px;
    color: #383838;
}

.happytheme a {
    text-decoration: none;
    color: #222222;
}

.happytheme .mybtn:hover {
    color: #222222;
    border-color: #222222;
}

.happytheme pre {
    border-left: 2px solid #666;
    padding: 5px 5px 5px 20px;
    font-style: italic;
    margin: 10px 0;
}

.happytheme .stereotipe {
    background-color: #222222;
    color: #FFF;
    padding: 0px 2px;
    font-style: italic;
}