@font-face {
    font-family: "jgs5";
    src: url(../fonts/jgs5.ttf);
}

@font-face {
    font-family: "jgs7";
    src: url(../fonts/jgs7.ttf);
}

@font-face {
    font-family: "jgs9";
    src: url(../fonts/jgs9.ttf);
}


body {
   /*background-image: linear-gradient(white rgb(255, 177, 219));*/
}

.info {
    position: fixed;
    top: 0;
    right: 0;
    font-family: "jgs7";
    font-size: 1.2em;
    color: rgb(255, 255, 255);
    text-shadow: 0px 0 7px rgb(255, 38, 154);
    background-color: rgb(180, 255, 253);
    box-shadow: 0px 0px 10px 10px rgb(255, 255, 255);
    padding-right: 0.5em;
    padding-left: 0.3em;
}

pre {
    color: deeppink;
    font-family: "jgs7";
    font-size: 1.2em;
    text-shadow: 0px 0 17px rgb(255, 114, 189);
}

a {
    color: white;
    text-decoration: none;
    font-family: "jgs7";
    text-shadow: 0px 0 17px rgb(0, 206, 209);
}

a:hover {
    color: deeppink;
}