body {
    background-color: rgb(240, 248, 255);
    background-image: linear-gradient(rgb(154, 185, 231),rgb(240, 248, 255));
    height: 100%;
    background-repeat: no-repeat;
    font-family: Verdana, sans-serif;
}

.banner {
    background-image: url("rotating-torus-gif.gif");
    background-size: 200px;
    background-repeat: repeat-x;
    height: 200px;
}

.aligned-image {
    vertical-align: middle;
}

.align-right {
    margin-left: auto;
}

.inline-div {
    display: inline;
}

.header-full {
    display: flex;
    align-items: center;
    gap: 10px;
}

.header {
    display: inline-block;
    font-family: Trebuchet MS, sans-serif;
    font-style: italic;
    font-size: 100px;
    color: rgb(94, 0, 36);
    text-align: center;
    font-variant: small-caps;

    background-image: linear-gradient(rgb(255, 0, 255), rgb(255, 255, 0));
    border-radius: 5px;
    border-color: rgb(0, 0, 0);
    border-style: solid;
    border-width: 5px;
    padding: 5px;
    padding-right: 20px;
}

.textbox {
    border-radius: 5px;
    border-color: rgba(0, 0, 0, 0.3);
    border-style: solid;
    border-width: 2px;
    padding: 10px;
    font-size: large;
    margin: 10px;
    width: auto;
    display: inline-block;
    vertical-align: top;
}

.floatLeft{
    float: left;
    margin-right: 10px;
}

.floatRight{
    float: right;
    margin-left: 10px;
}