#welcome{
}

#banner{
}

br.padding{
    margin: 10px;
}

#banner>img {
    border-radius: 20%;

    border-color: var(--text-color);
    border-style: solid;
    border-width: 3px;
    max-width:30vw;
}

#welcome>#title>* {
    display: inline;
}

#opensource {
    padding-top: 25px;
    padding-bottom: 25px;
}

#opensource>:first-child {
    max-width: 35vw;
    padding-right: 15px;
    border-radius: 32px;
}

#opensource>* {
    display: inline-block;
}

#opensource>div>h1 {
    text-decoration: underline;
    margin-bottom: 15px;
}

#opensource>p{
    padding-top: 30px;
}

#opensource>:last-child{
    padding-top: 20px;
    display: block;
}