img {
    margin-top: 0.0em;
}
.topline {
    /*font-size: 2.5em;*/
    font-family: Palatino;
    margin-top: 0px;
    margin-bottom: 0px;
}
h2 {
    margin-bottom: 0.0em;
}
h3 {
    margin-bottom: 0.0em;
    margin-top: 0.0em;
}
h4 {
    margin-bottom: 0.0em;
    margin-top: 0.0em;
}
code {
    font-family:Courier;
}
body {
    margin: 0px auto;
    max-width: 1200px;
    font-family:Helvetica;
    background-color:#070a0f;
    background-image: url("newbanner.png");
    background-size: 850px auto;
    background-position: center 1em;
    background-repeat: no-repeat;
    background-attachment: fixed;
    color: white;
}
.maincontainer {
    padding-top: 1.5em;
    margin: 0px auto;
    max-width:900px;
    border-left:2px solid #39204a;
    border-right:2px solid #39204a;
}
p {
    text-indent: 0em;
    line-height: 1.5;
}
.c1 {
    margin:0px auto;
    max-width:850px;
    background-color: rgba(7, 10, 15, 0.7);
    backdrop-filter: blur(5px);
    text-align: justify;
}
a:link {
    color:#d2baff;
    text-decoration: none;
}
a:visited {
    color:#d2baff;
    text-decoration: none;
}
a:hover {
    color:white;
    text-decoration: none;
}
.textlink:hover {
    filter: drop-shadow(0px 0px 5px white);
}
.buttoncontainer {
    width: 15em;
    height: 4.5em;
    margin: auto;
    margin-top: 22em;
}
.b1 {
    height: 4.0em;
    float: left;
    margin-left: 0.5em;
    margin-right: 0.5em;
    margin-bottom: 0.5em;
}
.b1:hover {
    filter: invert(100%) drop-shadow(0px 0px 5px white);
}
.portrait {
    border: 2px solid #39204a;
    height: 11rem;
    margin-right: 1rem;
    float: right;
}
.membrane {
    width: 100%;
}
.pubthumb {
    border: 2px solid #39204a;
    float: left;
    margin-right: 1rem;
    width: 20%;
}
.pubthumb:hover {
    filter: brightness(125%) drop-shadow(0px 0px 5px white);
}
.yoda {
    font-style: italic;
    font-family: Georgia;
    text-align: center;
}
.topmenu {
    margin:auto;
    /*padding-left: 2%;
    padding-right: 2%;*/
    padding-top: 0.25em;
    width: 100%;
    z-index: 999;
    background-color: #39204a;
    text-align: center;
    font-size: 20pt;
    line-height: 1.5;
}
.menuspacer {
    background-color: white;
    padding-top: 0.25em;
    line-height: 1.5;
}
mjx-container {
    margin-bottom: 0px !important;
}