body {
   background-color: #888;
   font-size: 90%;
}

.section {
    padding: 3rem 1rem;
}
@media screen and (min-width: 1024px)
{
   .section {
       padding: 3rem 2rem;
   }
}


.navbar {
   min-height: 3rem;
   border: 1px solid #000;
   background-color: #cccccc;
}

nav img {
   height: 30px;
}

article a {
   color: #800000;
   text-decoration: underline;
   font-weight: bold;
}  


p {
   margin-bottom: 10px;
}


.table.is-narrow td {
   padding: 0.1em 0.2em;
   white-space: nowrap;
}

.table td, .table th {
   border-color: #800000;
   background-color: #cccccc;
   font-size: 80%;
}

table.center {
    margin-left:auto; 
    margin-right:auto;
}

img.center {
    display: block;
    margin-left:auto; 
    margin-right:auto;
}

.table td.num  {
  text-align: right;
}


article {
   margin: 0px;
   color: #000;
   background-color:#cccccc;
   border: 1px solid #800000;
   margin-bottom: 10px;
}

article header {
   padding: 3px 6px;
   margin: 0px;
   background-color:#800000;
   color:#FFF;
}

article div {
   padding: 3px 6px;
}

.bordercols {
   padding: 0px;
}
div.bordercols >div {
   border-top: 1px solid #800000;
   border-right: 1px solid #800000;
}


pre {
   color: #800000;
   background-color: #eee;
   padding: 6px;
   margin: 6px;
   overflow-x: scroll;
}

code {
   background-color: #cccccc;
   color: #800000;
   padding: 0px;
}


textarea.button {
   text-align: left;
   height: 5em;
   font-family: Consolas,monaco,monospace;
   margin-bottom: 5px;
}