* {
            margin: 0;
            padding: 0;
        }

        :root {
            --highlight: #FF6463;
        }

        body {

            background: #F5F1EF;
            color: #B07C71;
            font-family: "Encode Sans", sans-serif;
            display: flex;
            flex-flow: column;
            align-items: center;
        }

        header#main {
            background: linear-gradient(180deg, rgba(0, 0, 0, 0.3) 0%, rgba(0, 0, 0, 0.03) 100%), #0E0637;
            padding: 4rem 3rem;
            display: flex;
            flex-flow: column;
            align-items: center;
            text-align: center;
            width: 100%;
            box-sizing: border-box;
        }

        header#main h1 a {
            color: white;
            text-decoration: none;
        }

        header#main h1 {
            color: #F5F1EF;
        }

        header#main h2 {
            margin-bottom: 1rem;
        }

        #main-nav {
            width: 100%;
            max-width: 1080px;
            box-sizing: border-box;
            padding: 1rem 0 4rem 0;
        }

        .intro {
            padding: 0rem 0 1rem 0;
            line-height: 2.5rem;
            font-size: 1.5rem;
        }


        #main-nav ul {

            display: flex;
            align-items: center;
            justify-content: space-between;
            
            
        }

        #main-nav ul li {
            list-style: none;
        }

        #main-nav ul li a {
            padding-top: 0.25rem;
            color: #B07C71;
            text-decoration: none;
            text-transform: uppercase;
            transition: 0.25s ease-in-out border;
            border-top: 4px solid transparent;
        }

        #main-nav a:hover {
            border-top: 4px solid #B07C71;
        }

        #main-nav ul li a.active {
            color: #371B15;
            border-top: 4px solid #371B15;
        }

        .highlight {
            color: var(--highlight);
        }

        header#main a {
            color: #B07C71;
            margin: 1rem 0;
        }

        #content {
            display: flex;
            flex-flow: column;
            align-items: center;
            max-width: 800px;
            width: 100%;
            padding: 2rem;
            font-weight: 600;
            box-sizing: border-box;
        }

        #content .post {
            font-size: 1rem;
            line-height: 1.75rem;
            font-weight: normal;
            margin: 2rem 0;
            color: #371B15;
        }

        #content .post p {
            padding: 1rem 0;
        }

        .post ol {

            list-style: none;
            counter-reset: numbers;
            
        }

        .post ol li {
            counter-increment: numbers;
        }

        .post ol li::before {
            content: counter(numbers) "/ ";
        }

        #content #main-header {
            color: #371B15;
            border-top: 2px solid #371B15;
            display: flex;
            flex-flow: row;
            justify-content: space-between;
            align-items: center;
            padding: 0.5rem;
            margin: 2rem 0;
        }

        #content time {
            font-size: 0.75rem;
        }

        #content > header h1 {
            text-transform: uppercase;
            font-size: 1rem;
        }

        video {
            display: flex;
            width: 100%;
            margin: 2rem 0;
        }

        img {
            display: flex;
            width: 100%;
            margin: 1rem 0;
            box-sizing: border-box;
        }

        footer {
            margin: 2rem 0;
            font-weight: bold;
        }

        #content .post header {
            margin-bottom: 1rem;
        }

        #content .post header h1 {
            color: #371B15;
            font-size: 1.5rem;
            padding: 0.5rem 0;
        }

        .footnotes h1 {
            font-size: 1.5rem;
        }

        .footnotes header {
            margin-bottom: 1rem;
        }

        .footnotes {
            display: flex;
            flex-flow: column;
            align-self: flex-start;
             color: #371B15;
            padding: 0.5rem 0;
            font-weight: normal;
            line-height: 1.5rem;
        }

        .footnotes blockquote {
            font-style: italic;
            line-height: 2rem;
            max-width: 600px;
            margin: 0.5rem 0;
        }

        .footnotes .footnote blockquote p::before {
            content: "“";
            display: inline-block;
        }
        
        .footnotes .footnote blockquote p::after {
            content: "”";
            display: inline-block;
        }

        .footnotes div {
            border-bottom: 1px solid #B07C71;
            padding: 1rem 0;
        }

        .footnotes a {
            font-weight: bold;
            color: #B07C71;
        }

        #content .post section header {
            border-bottom: 2px solid #371B15;
        }

        #content .post section h1 {
            font-size: 1.25rem;
        }

        #content .post header.centered {
            display: flex;
            flex-flow: column;
            align-items: center;
        }

        .post section {
            padding: 1rem 0;

        }

        .logic-text-representation {
            margin: 0 auto;
        }

        .logic-text-representation thead tr {
            width: 100%;
            display: table-row;
            color: #613443;
        }

        .logic-text-representation th {
            color: #613443;

        }

        .logic-text-representation td {
            color: #613443;;
        }


        table {
            border: 1px solid #B07C71;
            padding: 0.25rem;
            margin: 2rem 0;
            border-collapse: collapse;
        }

        table a {
            color: inherit;
        }

        td {
            border: 1px solid #B07C71;
            margin: 0;
            padding: 0;
            color: #371B15;
        }

        thead th {
            border-bottom: 1px solid #B07C71;
            padding: 1rem 0;
            color: #371B15;
        }

        tr td {
            padding: 1rem;
        }

        th {

            padding: 0.25rem;
          
        }

        tr td:nth-child(2), tr td:nth-child(3), tr td:nth-child(4) {
            font-weight: normal;
            line-height: 1.5rem;
            font-size: 0.85rem;
        }

        #notes-header {
            border: 0;
            color: #371B15;
            display: flex;
            flex-flow: column;
            width: 100%;
        }

        #notes-header p {
            padding: 1rem 0;
            font-weight: normal;
        }

        #notes-header h1 {
            border: 0;
            
        }

        #notes-listing {
            display: flex;
            width: 100%;
            flex-flow: column;
            align-items: flex-start;
        }

        #notes-listing li {
            list-style: none;
            width: 100%;
            display: flex;
        }
        
        #notes-listing a {
            color: inherit;
            display: flex;
            flex-flow: row;
            width: 100%;
            padding: 1rem 0;
            align-items: center;
            justify-content: space-between;
            
        }

        #notes-listing time {
            font-size: 1rem;
        }

        #notes-listing a:hover {
            color: #371B15;
        }