a {
   color: #134888;
}
h2 {
   color: #134888;
}
pre {
   border-left-color: #dc3a38;
}
div.post {
   padding-right: 0;
   text-align: justify;
}
.button {
   background-color: #134888;
   border-color: #134888;
}
.button.button-outline, button.button-outline {
   color: #134888;
}

#topmenu {
   background: #eee;
   padding-top: 3px;
   padding-bottom: 8px;
   margin-bottom: 10px;
   align-items: center;
   display: flex;
   justify-content: space-between;
   font-size: 1.3em;
}

div.logo img{
   height: 3em;
}

nav > a {
   padding: 10px;
}

span.flags {
   padding-left: 1em;
}

div.message {
   width: fit-content;
   padding: 0 1em;
   margin: 0 auto;
   background-color: #ddd;
   text-align: center;
   font-weight: bold;
}

#footercontent {
   width: fit-content;
   margin: 0 auto;
}

hr {
   border-top-width: 0.3rem;
}