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: #eee;
   color: #800000;
   padding: 0px;
}
code.cblack {
   background-color: #cccccc;
   color: #000;
}   


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

/*
In Firefox funktionieren Zeilenumbrüche in textareas
nicht mehr bei white-space: nowrap;
*/
textarea.button {
   white-space: pre-line;
}

/*
textarea, textarea.button, input {
    -webkit-user-select: auto !important;
    -khtml-user-select: auto !important;
    -moz-user-select: auto !important;
    -ms-user-select: auto !important;
    -o-user-select: auto !important;
    user-select: auto !important;
}
*/
textarea.button {
    -webkit-user-select: auto;
    -moz-user-select: auto;
    -ms-user-select: auto;
    user-select: auto;
}