/* ===== SIMPLIFIED CSS FOR ACADEMIC SITE ===== */
/* Only includes styles actually used in index.html and abstraction-in-world-models.html */

/* CSS variables */
:root {
    --global-base-color: #7a8288;
    --global-bg-color: #f2f2f3cf;
    --global-border-color: #e9eae2;
    --global-link-color: #52adc8;
    --global-link-color-hover: mix(#000, #2f7f93, 25%);
    --global-text-color: #494e52;
    --global-text-color-light: #9ba1a6;
}

/* Basic reset and typography */
*, *:before, *:after {
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
    box-sizing: border-box;
}

html {
    box-sizing: border-box;
    background-color: var(--global-bg-color);
    font-size: 14px;
    -webkit-text-size-adjust: 100%;
    -ms-text-size-adjust: 100%;
}

@media (min-width: 48em) {
    html {
        font-size: 16px;
    }
}

body {
    color: var(--global-text-color);
    background-color: var(--global-bg-color);
    margin: 0;
    padding: 70px 0 0;
    padding-bottom: 9em;
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    line-height: 1.5;
}

h1, h2 {
    margin: 1em 0 0.5em;
    line-height: 1.1;
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    font-weight: bold;
}

h3, h4, h5, h6 {
    margin: 0.5em 0 0.25em;
    line-height: 1.1;
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    font-weight: bold;
}

h1 {
    margin-top: 0;
    font-size: 1.78em;
}

h2 {
    font-size: 1.43em;
}

h3 {
    font-size: 1.1em;
}

p {
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    line-height: 1.5;
}

/* Basic elements */
article, aside, details, figcaption, figure, footer, header, hgroup, main, nav, section {
    display: block;
}

a {
    color: var(--global-link-color);
}

a:hover, a:active {
    outline: 0;
}

img {
    max-width: 100%;
    width: auto\9;
    height: auto;
    vertical-align: middle;
    border: 0;
    -ms-interpolation-mode: bicubic;
}

button, input, select, textarea {
    margin: 0;
    font-size: 100%;
    vertical-align: middle;
}

button, input {
    *overflow: visible;
    line-height: normal;
}

/* FontAwesome font loading */
@font-face {
    font-family: 'Font Awesome 6 Free';
    font-style: normal;
    font-weight: 900;
    font-display: block;
    src: url("../webfonts/fa-solid-900.woff2") format("woff2"), url("../webfonts/fa-solid-900.ttf") format("truetype");
}

@font-face {
    font-family: 'Font Awesome 6 Brands';
    font-style: normal;
    font-weight: 400;
    font-display: block;
    src: url("../webfonts/fa-brands-400.woff2") format("woff2"), url("../webfonts/fa-brands-400.ttf") format("truetype");
}

/* FontAwesome icons */
.fa {
    font-family: var(--fa-style-family, "Font Awesome 6 Free");
    font-weight: var(--fa-style, 900);
}

.fa, .fa-classic, .fa-sharp, .fas, .fa-solid, .far, .fa-regular, .fab, .fa-brands {
    -moz-osx-font-smoothing: grayscale;
    -webkit-font-smoothing: antialiased;
    display: var(--fa-display, inline-block);
    font-style: normal;
    font-variant: normal;
    line-height: 1;
    text-rendering: auto;
}

.fas, .fa-classic, .fa-solid, .far, .fa-regular {
    font-family: 'Font Awesome 6 Free';
}

.fab, .fa-brands {
    font-family: 'Font Awesome 6 Brands';
}

.fas, .fa-solid {
    font-weight: 900;
}

.fab, .fa-brands {
    font-weight: 400;
}

.ai {
    font-family: 'Academicons';
}

/* FontAwesome fixed width */
.fa-fw {
    text-align: center;
    width: 1.25em;
}

/* FontAwesome icon definitions */
.fa-envelope::before {
    content: "\f0e0";
}

.fa-github::before {
    content: "\f09b";
}

.fa-linkedin::before {
    content: "\f08c";
}

.fa-x-twitter::before {
    content: "\e61b";
}

.fa-file-pdf::before {
    content: "\f1c1";
}

.fa-location-dot::before {
    content: "\f3c5";
}

.fa-building-columns::before {
    content: "\f19c";
}

/* Icon spacing utility */
.icon-pad-right {
    padding-right: 0.5em;
    margin-right: 0.5em;
}

/* Social icons colors */
.social-icons .fa {
    color: #000;
}

.social-icons .fa-github, .social-icons .fa-github-alt, .social-icons .fa-github-square {
    color: #494e52;
}

.social-icons .fa-linkedin, .social-icons .fa-linkedin-square {
    color: #4a4a4a;
}

/* Buttons */
.btn {
    display: inline-block;
    margin-bottom: 0.25em;
    padding: 0.5em 1em;
    color: #fff !important;
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    font-size: .65em;
    font-weight: bold;
    text-align: center;
    text-decoration: none;
    background-color: var(--global-base-color);
    border: 0 !important;
    border-radius: 4px;
    cursor: pointer;
}

.btn:hover {
    background-color: #333;
}

.btn--inverse {
    color: var(--global-text-color-light) !important;
    border: 1px solid var(--global-border-color) !important;
    background-color: var(--global-bg-color);
}

.btn--inverse:hover {
    color: #fff !important;
    border-color: var(--global-text-color-light);
}

/* Main layout */
#main {
    max-width: 925px;
    margin-left: auto;
    margin-right: auto;
    clear: both;
    margin-top: 2em;
    padding-left: 1em;
    padding-right: 1em;
}

#main:after {
    content: " ";
    display: block;
    clear: both;
}

@media (min-width: 80em) {
    #main {
        max-width: 1280px;
    }
}

/* Sidebar */
.sidebar {
    -webkit-transform: translate3d(0, 0, 0);
    transform: translate3d(0, 0, 0);
    clear: both;
    margin-bottom: 1em;
}

.sidebar::after {
    clear: both;
    content: "";
    display: table;
}

@media (orientation: portrait) {
    .sidebar {
        margin-top: 1em;
    }
}

@media screen and (min-width: 1024px) {
    .sidebar {
        height: 100vh;
        overflow-y: auto;
        position: fixed;
        padding-top: 70px;
    }
}

@media (min-width: 57.8125em) {
    .sidebar {
        width: 15.2542372881%;
        float: left;
        margin-right: 1.6949152542%;
        opacity: 1;
        -webkit-transition: opacity 0.2s ease-in-out;
        transition: opacity 0.2s ease-in-out;
    }
    
    .sidebar:hover {
        opacity: 1;
    }
}

@media (min-width: 80em) {
    .sidebar {
        max-width: 250px;
        padding-right: 0;
    }
}

.sidebar h2, .sidebar h3, .sidebar h4, .sidebar h5, .sidebar h6 {
    margin-bottom: 0;
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
}

.sidebar h3, .sidebar h4 {
    font-size: 1em;
}

.sidebar p, .sidebar li {
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    font-size: .75em;
    line-height: 1.5;
}

.sidebar img {
    width: 100%;
}

.sidebar .author__name {
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    font-size: 1em;
}

.sidebar .author__desktop {
    display: none;
}

@media screen and (min-width: 1024px) {
    .sidebar .author__desktop {
        display: block;
    }
}

/* Author avatar */
.author__avatar {
    display: table-cell;
    vertical-align: top;
    width: 36px;
}

@media (min-width: 57.8125em) {
    .author__avatar {
        display: block;
        width: auto;
        height: auto;
    }
}

.author__avatar img {
    max-width: 175px;
    border-radius: 50%;
}

@media (min-width: 57.8125em) {
    .author__avatar img {
        padding: 5px;
        border: 1px solid var(--global-border-color);
    }
}

/* Author content */
.author__content {
    display: table-cell;
    vertical-align: top;
    padding-left: 15px;
    padding-right: 25px;
    line-height: 1;
}

@media (min-width: 57.8125em) {
    .author__content {
        display: block;
        width: 100%;
        padding-left: 0;
        padding-right: 0;
    }
}

.author__name {
    margin: 0;
}

@media (min-width: 57.8125em) {
    .author__name {
        margin-top: 10px;
        margin-bottom: 10px;
    }
}

.author__bio {
    margin: 0;
}

@media (min-width: 57.8125em) {
    .author__bio {
        margin-top: 10px;
        margin-bottom: 20px;
    }
}

/* Author URLs */
.author__urls-wrapper {
    position: relative;
    display: table-cell;
    vertical-align: middle;
    font-family: -apple-system, ".SFNSText-Regular", "San Francisco", "Roboto", "Segoe UI", "Helvetica Neue", "Lucida Grande", Arial, sans-serif;
    z-index: 10;
    position: relative;
    cursor: pointer;
}

.author__urls-wrapper li:last-child a {
    margin-bottom: 0;
}

@media (min-width: 57.8125em) {
    .author__urls-wrapper {
        display: block;
    }
}

.author__urls-wrapper button {
    margin-bottom: 0;
}

@media (min-width: 57.8125em) {
    .author__urls-wrapper button {
        display: none;
    }
}

.author__urls {
    display: none;
    position: absolute;
    right: 0;
    margin-top: 15px;
    padding: 10px;
    list-style-type: none;
    border: 1px solid var(--global-border-color);
    border-radius: 4px;
    background: var(--global-bg-color);
    z-index: -1;
    box-shadow: 0 0 10px rgba(0,0,0,0.25);
    cursor: default;
}

@media (min-width: 57.8125em) {
    .author__urls {
        display: block;
        position: relative;
        margin: 0;
        padding: 0;
        border: 0;
        background: transparent;
        box-shadow: none;
    }
}

.author__urls:before {
    display: block;
    content: "";
    position: absolute;
    top: -11px;
    left: calc(50% - 10px);
    width: 0;
    border-style: solid;
    border-width: 0 10px 10px;
    border-color: var(--global-border-color) transparent;
    z-index: 0;
}

.author__urls:after {
    display: block;
    content: "";
    position: absolute;
    top: -10px;
    left: calc(50% - 10px);
    width: 0;
    border-style: solid;
    border-width: 0 10px 10px;
    border-color: var(--global-bg-color) transparent;
    z-index: 1;
}

@media (min-width: 57.8125em) {
    .author__urls:before {
        display: none;
    }
    
    .author__urls:after {
        display: none;
    }
}

.author__urls li {
    white-space: nowrap;
    margin-bottom: 5px;
    padding-right: 5px;
    padding-top: 2px;
    padding-bottom: 2px;
}

.author__urls a {
    display: block;
    margin-bottom: 0;
    padding-right: 5px;
    padding-top: 2px;
    padding-bottom: 2px;
    color: inherit;
    font-size: 0.9em;
    text-decoration: none;
}

.author__urls a:hover {
    text-decoration: underline;
}

/* Page */
@media (min-width: 57.8125em) {
    .page {
        width: 83.0508474576%;
        float: right;
        margin-right: 0;
        padding-left: 4.2372881356%;
        padding-right: 16.9491525424%;
    }
}

.page .page__inner-wrap {
    clear: both;
    width: 100%;
    float: left;
    margin-left: 0;
    margin-right: 0;
}

.page .page__inner-wrap .page__content, 
.page .page__inner-wrap .page__meta, 
.page .page__inner-wrap .comment__date, 
.page .page__inner-wrap .page__share {
    clear: both;
    width: 100%;
    float: left;
    margin-left: 0;
    margin-right: 0;
}

.page__content h2 {
    padding-bottom: 0.25em;
    border-bottom: 1px solid var(--global-border-color);
}

.page__content p, .page__content li, .page__content dl {
    font-size: 0.9em;
}

.page__content p {
    margin: 0 0 1.25em;
}

.page__content a {
    text-decoration: underline;
}

.page__content a:hover {
    text-decoration: underline;
}

.page__content a:hover img {
    box-shadow: 0 0 10px rgba(0,0,0,0.25);
}

/* Sticky positioning */
.sticky {
    position: -webkit-sticky;
    position: sticky;
    top: 2em;
}

@media (max-width: 1023px) {
    .sticky {
        position: relative;
    }
}

/* Social icons list styling */
.social-icons {
    padding: 0;
    list-style: none;
}

.social-icons li {
    margin: 0;
}

/* Blog post date class (used in abstraction-in-world-models.html) */
.date {
    color: #666;
    font-size: x-small;
}