/* Author: Samuele Giraudo
 * Creation: apr. 2020
 * Modifications: apr. 2020, may 2023, sep. 2023
 */

/* Some colors:
 *   rgba(146,194,113,0.50) % Green meadow.
 *   rgba(64,98,53,0.50) % Green swamp.
 *   rgba(237,174,119,0.50) % Chestnut coral.
 *   rgba(140,116,96,0.50) % Ghost chestnut.
 */


:root {
    --color-1: 0, 97, 183; /* Dark blue. */
    --color-2: 183, 86, 0; /* Dark orange. */
}


/******************************************************************************************/
/******************************************* Text *****************************************/
/******************************************************************************************/

body {
    background: rgba(var(--color-2), 0.05);
    margin: auto;
    padding-right: 1em;
    padding-left: 1em;
    max-width: 58em; 
    border-left: 2px solid rgba(var(--color-2), 0.5);
    border-right: 2px solid rgba(var(--color-2), 0.5);
    /*font-family: Palatino, serif;*/
    font-family: monospace;
    color: black;
    font-size: 100%;
    line-height: 200%;
}

p {
    margin-left: .5em;
    margin-right: .5em;
}

pre {
    font-family: monospace;
    letter-spacing: 2px;
    border: 1px dotted rgba(var(--color-2), 0.75);
    background-color: rgba(var(--color-2), 0.15);
    color: rgba(var(--color-1), 0.95);
    padding: 0.25em;
    max-width: 61em; 
    line-height: 160%;
}

code {
    font-family: monospace;
    color: rgba(var(--color-1), 0.95);
    letter-spacing: 2px;
}


/******************************************************************************************/
/***************************************** Titles *****************************************/
/******************************************************************************************/

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    text-decoration: none;
    color: rgba(var(--color-2), 0.75);
}

h1, h2, h3, h4, h5, h6 {
    /*font-family: Palatino, serif;*/
    font-family: monospace;
    font-weight: bold;
    border-bottom: 1px solid rgba(var(--color-2), 0.5);
    color: rgba(var(--color-1), 0.75);
}

h1 {
    font-size: 175%;
    line-height: 1.25em;
}

h2 {
    font-size: 120%;
    border-bottom: 1px dashed rgba(var(--color-2), 0.5);
    width: 50%; 
    line-height: 1em;
}

h3 {
    font-size: 115%;
    border-bottom: none;
    line-height: 1em;
}

h4 {
    font-size: 110%;
    border-bottom: none;
    line-height: 1em;
}

h5 {
    font-size: 105%;
    border-bottom: none;
}

h6 {
    color: black;
    font-size: 100%;
    border-bottom: none;
}

h1.title {
    font-size: 250%;
    font-weight: bold;
    text-align: center;
    border-bottom: 2px solid rgba(var(--color-2), 0.5);
}

ul {
    list-style-type: square;
    padding-left: 1.5em;
    padding-bottom: 1em;
}

ul li::marker {
    color: rgba(var(--color-2), 0.5);
}


/******************************************************************************************/
/***************************************** Tables *****************************************/
/******************************************************************************************/

table, th, td {
    border-spacing: .5em;
}


/******************************************************************************************/
/****************************************** Links *****************************************/
/******************************************************************************************/

a:link {
    color: rgba(var(--color-1), 0.5);
    font-weight: bold;
    text-decoration: none;
}

a:visited {
    color: rgba(var(--color-1), 0.25);
}

a:hover {
    color: rgba(var(--color-2), 0.5);
    text-decoration: underline;
}

a:active {
    color: rgba(var(--color-2), 0.5);
}