/* Actual stying */
*::selection {
  background: #0580AD;
  color: white;
}

* {
    line-height: 1.5;
    word-wrap: break-word;
    tab-size: 4;
}

body {
    font-family: 'Lora', serif;
    background: white;
    color: black;
    margin: 0px;
    padding: 0px;
}

a {
    color: #0580AD;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

hr.thin {
    border: solid 2px #0580AD;
}

hr.thick {
    border: solid 6px #0580AD;
}

/* Font Sizes */
p, ul, label, div {
    font-size: 1.1rem;
}

/* Styling for headings */
h1, h2, h3, h4 {
    font-family: 'Libre Baskerville', serif;
    font-weight: normal;
    margin: 0px;
    margin-top: 3px;
    padding: 5px 0px;
    clear: both;
}

h1 {
    font-size: 2.2em;
    margin-bottom: 10px;
    border-bottom: solid thin #0580AD;
}

*.no-border {
    border: none
}

h2 {
    font-size: 1.8em;
    margin-bottom: 4px;
}

h3 {
    font-size: 1.4em;
    margin-bottom: 2px;
}

/* Code tag styling */
code {
    display: inline-block;
    padding: 1%;
    margin: 1% 0%;
    border: dashed thin #0580AD;
    width: 100%;
    box-sizing: border-box;
    overflow-x: auto;
    letter-spacing: 0.5px;
    font-size: 1rem;
}

code.inline {
    width: auto;
    margin: 0px;
    padding: 0px 4px;
    vertical-align: middle;
    font-size: 1em;
}

pre {
    padding: 0px;
    margin: 0px;
    display: inline-block;
    width: 100%;
    white-space: pre;
}

/* General styling of articles and content inside of articles */
article footer,
address {
    font-size: 0.9rem;
    color: grey;
    display: block;
    width: 100%;
    text-align: right;
}

em {
    font-size: 0.9rem;
    color: grey;
    width: 100%;
}

article article {
    font-size: 0.9em;
    margin: 2%;
}

article section:first-of-type {
    margin-top: 0px;
}

.page-heading {
    border-bottom: solid thin #0580AD;
}

.hide-button {
    cursor: pointer;
}

.page-heading h1 {
    width: 70%;
    display: inline-block;
    border: none;
    margin: 0;
    padding: 0;
    vertical-align: bottom;
}

.page-heading-info {
    width: 30%;
    display: inline-block;
    border: none;
    margin-bottom: 0;
    vertical-align: middle;
}

.page-heading-info .address-info {
    text-align: right;
    width: 70%;
    display: inline-block;
    vertical-align: middle;
    box-sizing: border-box;
    margin: 0;
    padding: 5px;
    padding-left: 0px;
}

.page-heading-info button {
    min-width: 70px;
    width: 30%;
    display: inline-block;
    vertical-align: bottom;
    box-sizing: border-box;
    margin: 0;
    padding: 6px;
}

.hide {
    max-height: 0px;
    overflow-y: hidden;
    transition: max-height 1s;
    position: relative;
}

.shadow {
    -webkit-box-shadow: inset 0px -20px 5px 0px white;
    -moz-box-shadow: inset 0px -20px 5px 0px white;
    box-shadow: inset 0px -20px 5px 0px white;
    position: absolute;
    top: 0;
    bottom: 0;
    width: 100%;
    z-index: 1;
    pointer-events: none;
}

/* Screenshots and images */
img {
    display: block;
    width: 60%;
    margin: auto;
    background-color: white;
}

img:hover {
    cursor: pointer;
}

.screenshots-2 {
    font-size: 0;
}

.screenshots-2 img {
    display: inline-block;
    width: 49%;
    padding: 1% 1%;
    margin: 0px;
    vertical-align: top;
    max-height: none;
}

.screenshots-2 img:first-child {
    padding-left: 0px;
}

.screenshots-2 img:nth-child(2n) {
    padding-right: 0px;
}

.screenshots-2 img:nth-child(2n+1) {
    padding-left: 0px;
}

.screenshots-3 {
    font-size: 0;
}

.screenshots-3 img {
    display: inline-block;
    width: 32%;
    padding: 1% 1%;
    margin: 0px;
    vertical-align: top;
    max-height: none;
}

.screenshots-3 img:first-child {
    padding-left: 0px;
}

.screenshots-3 img:nth-child(3n) {
    padding-right: 0px;
}

.screenshots-3 img:nth-child(3n+1) {
    padding-left: 0px;
}

video {
    width: 100%;
    box-sizing: border-box;
}

/* Columns and row styling */
.row {
    display: block;
    width: 100%;
    padding: 0px;
}

.column {
    display: inline-block;
    width: 48%;
    padding: 0%;
    padding-right: 2%;
    vertical-align: top;
}

.column-2 {
    box-sizing: border-box;
    display: inline-block;
    width: 50%;
    padding: 0% 2%;
    vertical-align: top;
}

a.anchor {
    display: block;
    position: relative;
    top: -80px;
    visibility: hidden;
}

/* Tables */
.table {
    overflow-x: scroll;
}

table {
    border-collapse: collapse;
    width: 100%;
    text-align: left;
    font-size: 1.1rem;
}

td, th {
    border: 1px solid #0580AD;
    text-align: center;
    padding: 8px;
}

th {
    background-color: #0580AD;
    color: white;
    font-weight: bold;
}

/* Style the scrollbar */
::-webkit-scrollbar-thumb {
    background: #e7e7e7;
}

::-webkit-scrollbar-thumb:vertical {
    border-left: 4px solid #0580AD;
}

::-webkit-scrollbar-thumb:horizontal {
    border-top: 4px solid #0580AD;
}

::-webkit-scrollbar-thumb:hover {
    background: lightgrey;
}

::-webkit-scrollbar {
    background: white;
    width: 16px;
}

/* katex styling */
.katex-display {
    overflow-y: hidden;
    overflow-x: auto !important;
}

@media screen and (max-width: 1400px) {
  .page-heading-info .address-info {
        width: 100%;
        padding: 5px;
        padding-right: 0px;
    }

    .page-heading-info button {
        float: right;
    }
}

@media screen and (max-width: 1000px) {
    .column-2, .column-2.left, .column-2.right {
        width: 100%;
        float: none;
    }

    .column-2 p {
        text-align: left;
    }

    .column-3 p {
        text-align: left;
    }  
}

@media screen and (max-width: 600px) {
    .screenshots-3 img {
        width: 100%;
        padding: 1% 0%;
    }

    .screenshots-2 img {
        width: 100%;
        padding: 1% 0%;
    }

    a.anchor {
        top: 0;
    }

    img {
        width: 100%;
    }

    .page-heading {
        border: none;
    }

    .page-heading h1 {
        width: 100%;
    }

    .page-heading-info {
        width: 100%;
    }

    .page-heading button {
        width: 100%;
    }

    .page-heading-info .address-info {
        text-align: left;
        padding-left: 0px;
    }

    .page-heading-info address {
        width: auto;
        text-align: left;
        padding: 0;
        margin: 0;
        display: inline-block;
    }

    .page-heading-info address::before {
        content: ", ";
    }
    .page-heading-info address:first-of-type::before {
        content: "";
    }
}