.title { text-align: center; font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; margin: 1px 1px 10px 1px; font-size: 300%; font-weight: bold; } .table-of-contents { font-family: monospace; color: red; } .timestamp { font-family: monospace; color: darkgreen; } h1,h2 { font-family: Lucida Sans Typewriter,Lucida Console,monaco,Bitstream Vera Sans Mono,monospace; color:black;background-color:#F0F8FF; } h2,h3,h4 { color: darkblue; } body {font-family: Palatino, 'Palatino Linotype', serif; color:black; font-size: large } div.banner { background-color: #336699; color: white ; margin: -10px; } div.menu { background-color: #d5d5d5; } div.edit { text-align: right; } div.footer { color: #336699; background-color: white } div.gemini { text-align: right; font-size: 75% } div.text { font-family: Sans-Serif; } div.list { font-family: Sans-Serif; } div.verbatim { color: black; background-color: lightyellow; border-style:outset; font-family: palatino font, monospace; border-width: 2px ; font-size:110%; font-weight:bold; } div.quote { font-family: palatino font, monospace; font-weight: bold; color: darkblue ; font-size:90%; border-left: 4px solid rgb(4, 170, 109); } div.quotation { font-family: palatino font, monospace; font-size:80%; } pre { margin: 15px; } pre.example { font-family: prestige, monospace; color:black; font-size:70%; background-color: lightyellow; } pre.src { font-family: prestige, monospace; font-weight: bold; color:white; font-size:80%; background-color: black; } .github-btn-container { margin: 13px 0px; display: flex; width: 95vw; justify-content: flex-end; } .github-btn { display: flex; justify-content: center; border: 2px solid #357ebd; background: lightgrey; padding: 0px 2px; width: 130px; border-radius: 16px; } .github-btn a { align-self: center; font-weight: bold; color: #357ebd; } .github-btn a img { height: 40px; width: 40px; padding-left:5px; }