body
{
    text-align: justify;
}

h1
{
    width:100vh;
}

h2
{
    text-align:center;
    border-bottom:0.5px solid #aaa;
    padding-top:20px;
    padding-bottom:20px;
}

h3
{
    font-size:1rem !important;
}

.gray p 
{
    font-size:16pt;
    padding-bottom:30px;
}

.buttons
{
    text-align: center;
    padding:30px;
}

.paper img
{
    width:13.7%;
}

.gray
{
    background:url("header.gif") #000;
    padding:30px 50px 20px 50px;
    display:block;
    text-align: center;
    color:#fff;
}

a:hover .btn
{
    cursor: pointer;
}

.monospace
{
    font-family:monospace;
    font-size: 16px;
    white-space: pre;
    background-color: #eee;
    text-align: left;
}