body { font-family: fira-sans, sans; font-size: 10pt; background-color: transparent; } div.notification { position: relative; float: right; width: 600px; border: 3px outset #6c5d53; /* border-radius: 5px; */ padding: 10px; background-color: #e6e6e6; } div.content { padding-left: 60px; } img.logo { float: left; border-radius: 50%; } p.heading { margin: 0px; font-weight: bold; text-decoration: underline; } p.hint { display: none; } pre { font-family: fira-mono, mono; white-space: pre-wrap; } span.link { color: #863600; } span.tag { font-family: monospace; background-color: #e6e6e6; }