@font-face {
    font-family: "w95";
    src: url("../fonts/w95fa.woff");
}

html {
    height: 100%;
    overflow-y: hidden;
}

body {
    font-family: 'w95';
    background-color: #388081;
}

a {
    text-decoration: none;
    color: black;
}

.window {
    max-height: 600px;
    max-width: 600px;
    height: auto;
    width: 100%;
    background-color: #c0c0c0;
    border-style: outset;
    border-width: 2px;
    border-color: white;
    padding-bottom: 15px;
}

.window p, h1, h3 {
    text-indent: 5px;
    user-select: none;
}

.window h1 {
    margin-top: 10px;
}

.window h2 {
    text-indent: 10px;
}

.window h3 {
    text-indent: 12px;
    margin-top: -5px;
}

.window-title {
    padding-top: 2px;
    padding-bottom: 2px;
    margin: 0px;
    max-width: 600px;
    font-size: 22px;
    color: white;
    width: 100%;
    background: rgb(0,1,124);
    background: linear-gradient(90deg, rgba(0,1,124,1) 0%, rgba(60,131,202,1) 100%);
}

.button {
    font-size: 18px;
    border-style: outset;
    border-width: 2px;
    border-color: white;
    width: auto;
    max-width: 50px;
    padding: 5px;
    margin-left: 12px;
}