@font-face {
    font-family: dos437;
    src: url(dos437.ttf);
}

.file {
    font-family: dos437;
    background-color: black;
    color: white;
    font-size: 8px;
    line-height: 2;
    white-space: pre;
    display: block;
}

.search {
    font-size: 30px;
    font-weight: bold;
}

.hover:hover {
    background-color: hsla(0,0%,100%,.07);
    color: white;
    cursor: pointer;
}

.carousel-indicators {
    top: 0px;
    bottom: 95%;
}

.jumbotron {
    min-height: 95vh;
    height: 95vh;
}

.diz {
    font-size:16px;
    white-space: pre;
    font-family: monospace;
    line-height: 16px;
    background-color: black;
}

#list {
    overflow-y: scroll;
    overflow-x: hidden;
    height: 75vh;
}

.carousel-indicators > li {
    border-radius: 50%;
    width: 30px;
    height: 30px;
}

.mac-font-size {
    font-size: 13px;
}

.menu {
    position: fixed;
    top: 1%;
    left: 40%;
    z-index: 1;
}