body {
    background-color: rgb(0, 2, 36);
}
#banner {
    margin-top: 15%;
    display: block;
    justify-content: center;
    align-items: center;
    text-align: center;
    color: #ffffff9a;
    div#menu {
        margin-top: 10%;
        a {
            color: rgb(255, 255, 255);
            margin: 1%;
        }
    }
    a:hover, .reddot:hover {
        text-decoration: none;
        color: rgba(255, 255, 255, 0.979);
        text-shadow: 0 0 20px #fff, 0 0 40px silver, 0 0 60px silver,
            0 0 80px silver, 0 0 90px silver, 0 0 100px silver,
            0 0 120px silver;
    }
    pre {
        
        text-align: center;
        /* text-shadow: 0 0 20px #fff, 0 0 0px #ff4da6, 0 0 0px #ff4da6,
            0 0 0px #ff4da6, 0 0 0px #ff4da6, 0 0 100px #ff4da6,
            0 0 120px #ff4da6; */
        text-shadow: 0 0 20px #fff, 0 0 0px silver, 0 0 0px gold,
            0 0 0px gold, 0 0 0px gold, 0 0 100px gold,
            0 0 120px gold;
    }
    .reddot {
        color: #4da9ff;
    }
}