body {
    font-family:'Roboto',sans-serif;
    background-color:rgb(20,20,20);
	overflow-y: scroll;
}

h1 {
    color:rgb(220,220,220);
    text-shadow:2px 2px 3px rgb(5,5,5);
}

h1.post_title { padding-bottom:20px; }

h2 {
    font-weight: normal;
    font-size:20px;
    color:rgb(220,220,220);
    text-shadow:2px 2px 3px rgb(5,5,5);
}

h3 {
    font-weight: normal;
    font-size:28px;
    color:rgb(220,220,220);
    padding-top:28px;
    text-shadow:2px 2px 3px rgb(5,5,5);
}

p {
    font-size:16px;
    color:rgb(200,200,200);
    line-height:1.4;
    /* padding-left:30px; */
}

p.p1 {
    padding-left:30px;
    padding-right:30px;
}

ul {
    font-size:16px;
    color:rgb(200,200,200);
    line-height:1.4;
    padding-left:65px;
}

li > p { margin-top:6px; margin-bottom:28px; }

p.date {
    font-size:12px;
    font-style:italic;
    padding:0;
    margin-top:-35px;
    margin-bottom:35px;
}

p.note {
    font-size:14px;
    font-style:italic;
    margin-bottom:25px;
}

p.img_note {
    font-size:12px;
    font-style:italic;
    text-align:center;
    margin:-50px 0px 45px 0px;
}

p.font2{
    font-family:'Consolas',monospace;
    /* font-size:14px; */
    /* line-height:1.3; */
}

p.font3 {
    font-family:'Consolas',monospace;
    font-size:14px;
    line-height:1.3;
}

div.box {
    padding:30px 30px 30px 50px;
    margin:40px 30px;
    border-radius:5px;
    color:rgb(200,200,200);
    background-color:rgb(38,38,38);
    box-shadow:2px 2px 5px rgb(5,5,5);
}

pre > span { color:rgb(160,160,160); }

pre {
        font-size:16px;
    color:rgb(200,200,200);
    line-height:1.4;
    /* padding-left:30px; */
}

span.explanation {
    text-decoration-line:underline;
    text-decoration-style:dotted;
}

span.indent { padding-left:25px; }

span.pseudo {
    font-size:12px;
    font-style:italic;
    padding-left:635px;
}

span.date {
    font-size:14px;
    font-style:italic;
    color:rgb(150,150,150);
}

a {
    color:rgb(200,150,200);
    text-decoration:none;
}

a:hover { color:rgb(100,200,200); }

hr {
    margin-top:80px;
    margin-bottom:-15px;
    border:1px solid rgb(60,60,60);
}

table, th, td {
    border:1px solid rgb(100,100,100);
    border-collapse:collapse;
    font-size:16px;
    color:rgb(200,200,200);
}

table { margin: 30px auto; }

th,td { padding:7px; text-align:left; }

th {
    font-weight: normal;
    background-color: rgb(38,38,38);
}

img.center { margin:60px auto; display:block; }

.item1 { grid-column:1; grid-row:1; padding:30px 50px; }
.item2 { grid-column:1; grid-row:2; padding:0px 50px; }
.item3 { grid-column:1; grid-row:3; padding:30px 50px 50px; }

.grid-container {
    display:grid;
    gap:10px;
    background-color:rgb(20,20,20);
    padding:10px 10px 120px 10px;
    width:1080px;
    margin:auto;
}

.grid-container > div {
    background-color:rgb(30,30,30);
    border-radius:5px;
    box-shadow:2px 2px 5px rgb(5,5,5);
}

/* prng article styles */

button { border-radius:5px; box-shadow:2px 2px 5px rgb(5,5,5); }
button.deterministic { color:rgb(200,200,200); }
button.nondeterministic { color:rgb(230,200,170); }
button.map {
    border:none;
    padding:2px;
    margin-left:20px;
    width:auto;
    font-size: 17px;
}
button.hybrid { color:rgb(170,200,230); }
.collapsible:hover { background-color: rgb(50,50,50); }

em.nondeterministic { color:rgb(230,200,170); }
em.hybrid { color:rgb(170,200,230); }
em {
    font-style:italic
}

img.prng { width:256; height:256; float:right; }

.collapsible {
    background-color: rgb(40,40,40);
    color:rgb(220,220,220);
    cursor: pointer;
    padding: 18px;
    width:100%;
    border: none;
    text-align: left;
    font-weight: normal;
    font-size:23px;
    text-shadow:2px 2px 3px rgb(5,5,5);
}

.content {
    background-color: rgb(30,30,30);
    padding-top: 10px;
    padding-bottom: 10px;
    max-height: 0;
    overflow: hidden;
    transition: max-height 0.45s ease-out;
}





.box-of-columns
{
    display:flex;
    margin-top: 10px;
    margin-bottom: 6px;
    font-size: 15px;
    text-align: justify;
    font-family: Arial, Helvetica, sans-serif;
}


.column-twin
{
    flex:50%;
    padding-left:15px;
    padding-right:15px;
}


.column-left
{
    /* flex:calc(100% / 3); */
    flex:33%;
    padding-left:3px;
    padding-right:35px;
}

.column-middle
{
    flex:calc(100% / 3);
    padding-left: 29px;
    padding-right:25px;
}

.column-right
{
    flex:calc(100% / 3);
    padding-left:35px;
    padding-right:3px;
}

.space
{
    padding-bottom:20px;
}

.space2
{
    padding-bottom: 1px;
}