/******************************************************************************
* MODULE     : notes-extra.css
* DESCRIPTION: CSS style sheet for TeXmacs blog/wiki
* COPYRIGHT  : (C) 2020  Massimiliano Gubinelli
*******************************************************************************
* This software falls under the GNU general public license version 3 or later.
* It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
* in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
******************************************************************************/

/******************************************************************************
* Font setup
******************************************************************************/

@import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:ital,wght@0,400;0,700;1,400&family=Source+Sans+Pro:ital,wght@0,400;0,700;1,400&family=Source+Serif+Pro:ital,wght@0,400;0,700;1,400&display=swap');

/******************************************************************************
* Code syntax highlight
******************************************************************************/

/*@import url('https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.3.2/styles/default.min.css');*/
@import url('./highlight-github.css');

.hljs {
    display: block;
    overflow-x: auto;
    padding: 0.5em;
    background-color: initial ;
}

/******************************************************************************
* Main text properties
******************************************************************************/

:root {
    --main-family: 'Source Serif Pro', serif;
    --title-family: 'Source Sans Pro', sans-serif;
    --tt-family: 'Source Code Pro', monospace;
    --color-title: rgb(154, 39, 39);
    --color-text: rgb(41, 34, 34);
}

html {
    background-color: #f9f9f9;
    font-size: 18px;
}

body {
    background-color:  #f9f9f9;
    color: var(--color-text);
    font-family: var(--main-family);
    text-align: left;
    line-height: 1.5;
    font-size: 0.95rem;
    border: 0px;
    padding: 3em;
    padding-left: 4em;
    padding-right: 4em;
    margin: auto;
    margin-bottom: 0em;
    margin-top: 0em;
    width: auto; 
    min-width: 300px;
    max-width: 750px;
}

.tmdoc-body {
    padding: 0px;
    margin: 0px 0px;
}

.mg-title {
    padding-top: 2em;
    letter-spacing: -0.03em;
font-family: var(--title-family);
}

.wave-image  {
    width: 5.5rem;
    float: right;
}

.wave-image img {
    width: 5rem;
}

h1 {
    font-family: var(--title-family);
    font-weight: bold;
    font-size: 1.6rem;
    margin-top: 1em;
    margin-bottom: 1em;
    text-align: center;
}

h2 {
    color: var(--color-title);
    font-family: var(--title-family);
    font-weight: bold;
    font-size: 1.2rem;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

h3 {
    color: var(--color-title);
    font-family: var(--title-family);
    font-weight: bold;
    font-size: 1rem;
    margin-top: 1em;
    margin-bottom: 0.5em;
}

h4, h5, h6 {
    color: var(--color-title);
    font-family: var(--title-family);
    font-weight: bold;
    font-size: 1rem;
    margin-top: 0.5em;
    margin-bottom: 0em;
}

div {
    margin: 0px;
    padding: 0px;
}

p, center {
    margin: 0px;
    padding: 0px;
    padding-bottom: 0.17em;
    padding-top: 0.17em;
}

ul, ol, dl, di {
    margin-top: 0px;
    margin-bottom: 0px;
    padding-top: 0.35em;
    padding-bottom: 0.35em;
}

ul > p, ol > p, dl > p, di > p {
    padding-bottom: 0.1em;
    padding-top: 0.1em;
}

ul {
    color: var(--color-title);
    list-style: square;
    padding-inline-start: 1em;
}

li p {
    color: var(--color-text);
}

table {
    border-collapse: collapse;
}

tbody p {
    margin: 0px;
    padding: 0px;
}

td {
    padding: 0.2em;
    vertical-align: baseline;
}

a:link, a:visited {
    color: #5b7077;
    text-decoration: none;
}

a:active, a:focus, a:hover {
    color: var(--color-title);
    text-decoration: underline;
}

.tmweb-obsolete, .tmweb-copyright {
    display: none;
}

/******************************************************************************
* Headers
******************************************************************************/

.notes-header img {
    vertical-align: middle;
}

.notes-header-name {
    float: right;
}

.notes-abstract {
    font-size: 90%;
    font-style: italic;
    margin-bottom: 2em;
}


.tmweb-pad-below {
    padding-bottom: 20px;
}

.tmweb-header {
    margin: 0px -5em;

    background-image: url("../images/sigma-224.svg"),
                      url("../images/uniform-224.png");
    background-position: bottom, top;
    background-repeat: repeat-x, repeat;
    
    padding-left: 20px;
    padding-right: 20px;
    padding-top: 10px;
    padding-bottom: 40px;
}

.tmweb-header a:link, .tmweb-header a:visited {
    color: #555;
}

.tmweb-header a:active, .tmweb-header a:focus, .tmweb-header a:hover {
    color: #D0343F;
    text-decoration: underline;
}

.tmweb-title-image {
    width: 60px;
    height: 60px;
    vertical-align: -27px;
    padding: 10px 10px;
}

.tmweb-title {
    height: 60px;
    font-weight: bold;
    font-size: 1.6rem;
}

.tmweb-top-menu {
    height: 60px;
    padding-top: 30px;
    float: right;
}

.tmweb-top-menu a {
    background-image: none;
    border-style: none;
    display: inline-block;
    text-align: center;
    padding-left: 10px;
    padding-right: 10px;
}

@media screen and (max-width: 1199px) {
    .tmweb-title-image {
        width: 50px;
        height: 50px;
        vertical-align: -23px;
        padding: 8px 8px;
    }

    .tmweb-title {
        height: 50px;
    }

    .tmweb-top-menu {
        height: 50px;
        padding-top: 25px;
    }
}

@media screen and (max-width: 799px) {
    .tmweb-header {
        margin: 0px -2em;
        padding: initial;
        padding-top: 5px;
        padding-bottom: 40px;
    }

    .tmweb-title-image {
        width: 40px;
        height: 40px;
        vertical-align: -18px;
        padding-top: 7px;
        padding-bottom: 7px;
        padding-left: 2em;
        padding-right: 0em;
    }

    .tmweb-title {
        height: 40px;
    }
    
    .tmweb-top-menu {
        height: initial;
        float: initial;
        position: relative;
        overflow: hidden;
        padding-top: 10px;
    }
    
    .tmweb-top-menu a {
        border-color: silver;
        border-style: solid none none none;
        border-width: thin;
        color: #555;
        display: block;
        padding: 5px 2em;
        text-align: left;
    }
}

/******************************************************************************
* Footers
******************************************************************************/

.tmweb-pad-above {
    padding-top: 20px;
}

.tmweb-footer {
    margin: 0px -5em;

    background-image: url("../images/sigma-224-rev.svg"),
                      url("../images/uniform-224.png");
    background-position: top, bottom;
    background-repeat: repeat-x, repeat;

    color: #555;
    padding-top: 40px;
    text-align: center;
}

.tmweb-footer a:link, .tmweb-footer a:visited {
    color: #777;
}

.tmweb-footer a:active, .tmweb-footer a:focus, .tmweb-footer a:hover {
    color: #D0343F;
    text-decoration: underline;
}

.tmweb-footer h1, .tmweb-footer h2, .tmweb-footer h3 {
    margin-top: 0em;
}

.tmweb-footer .tmweb-license, .tmweb-footer section {
    font-size: 18px;
    display: inline-block;
    margin-left: 1em;
    margin-right: 1em;
    text-align: left;
    vertical-align: top;
}

.tmweb-footer .tmweb-license {
    text-align: justify;
    width: 470px;
    margin-left: 1em;
    margin-right: 3em;
}

.tmweb-footer nav a {
    display: block;
    text-align: left;
}

.tmweb-footer nav .tmweb-obsolete {
    display: none;
}

@media screen and (max-width: 1339px) {
    .tmweb-footer .tmweb-license {
        width: 350px;
        margin-top: -0.5em;
        margin-left: 1em;
        margin-right: 2em;
    }
}

@media screen and (max-width: 1199px) {
    .tmweb-footer .tmweb-license {
        width: initial;
        display: block;
        margin-left: 5em;
        margin-right: 5em;
        margin-top: 0em;
        margin-bottom: 1em;
    }

    .tmweb-footer .tmweb-license, .tmweb-footer section {
        font-size: 15px;
    }
}

@media screen and (max-width: 799px) {
    .tmweb-footer {
        margin: 0px -2em;
    }

    .tmweb-footer .tmweb-license, .tmweb-footer section {
        font-size: 12px;
    }
}

/******************************************************************************
* Figures with captions
******************************************************************************/

.tmweb-caption-below {
    display: block;
    text-align: center;
}

.tmweb-caption-below .tmweb-figure {
    display: block;
    text-align: center;
}

.tmweb-caption-below .tmweb-caption {
    display: inline-block;
    text-align: center;
    position: relative;
    top: -1.5em;
    margin-bottom: -1.5em;

    background-color: #905465; /* #D03445; */
    border-radius: 0.4em;
    border-color: transparent;
    border-style: solid;
    color: white;
    font-size: 1.25em;
    font-weight: bold;
    padding: 0.2em 0.5em;
    text-shadow: 0.1em 0.1em 0px #604C4C; /* #A02C2C; */
    box-shadow: 0.1em 0.1em #604C4C; /* #A02C2C; */
}

/******************************************************************************
* Horizontal versus vertical splits
******************************************************************************/

.tmweb-split-car img {
    min-width: 60vw;
    max-width: 80vw;
}

.tmweb-split-car {
    margin-top: 0.5em;
    margin-bottom: 1em;
}

@media screen and (min-width: 1600px) {
    .tmweb-split {
        display: block;
        width: 100%;
        min-height: 58vh;
        margin-top: 4vw;
    }

    .tmweb-split-car {
        display: inline-block;
        width: 55%;
        vertical-align: middle;
        margin-top: -5vh;
        margin-left: -2.5em;
        margin-right: 2.5em;
    }

    .tmweb-split-car img {
        min-width: 40vw;
    }

    .tmweb-split-cdr {
        display: inline-block;
        width: 44%;
        vertical-align: middle;
        margin-top: -5vh;
    }
}

/******************************************************************************
* Galleries
******************************************************************************/

.tmweb-hlist {
    text-align: left;
}

.tmweb-hlist div {
    display: inline;
}

.tmweb-hlist .tmweb-caption-below {
    display: inline-block;
    width: 48%;
}

.tmweb-hlist .tmweb-caption-below .tmweb-figure {
    display: inline-block;
}

.tmweb-hlist .tmweb-caption-below .tmweb-caption {
    display: inline-block;
}
    
.tmweb-gallery img {
    display: inline;
    width: 95%;
    padding-top: 50px;
}

@media screen and (max-width: 1200px) {
    .tmweb-hlist .tmweb-caption-below {
        width: 95%;
    }
}

@media screen and (min-width: 1800px) {
    .tmweb-hlist .tmweb-caption-below {
        width: 30%;
    }
}

/******************************************************************************
* Video galleries
******************************************************************************/

.tmweb-hlist .tmweb-thumbnail {
    display: inline-block;
    text-align: left;
    vertical-align: top;
    max-width: 320px;
    padding-left: 0.6em;
    padding-right: 0.6em;
}

.tmweb-thumbnail-image {
    transition: transform .2s; /* Animation */
}

.tmweb-thumbnail-image:hover {
    transform: scale(1.2);
}

.tmweb-hlist .tmweb-thumbnail .tmweb-thumbnail-legend {
    font-size: 0.8em;
}

.tmweb-hlist .tmweb-youtube {
    display: inline-block;
    text-align: left;
    vertical-align: top;
    padding-left: 2em;
    padding-right: 2em;
}

.tmweb-youtube .tmweb-youtube-video {
    width: 72vw;
    height: 45vw;
    max-width: 1200px;
    max-height: 750px;
}

.tmweb-youtube .tmweb-youtube-legend {
    font-size: 1em;
}

/******************************************************************************
* Miscellaneous elements
******************************************************************************/

.tmweb-item-pic img {
    width: 2.5em;
    vertical-align: top;
}

/******************************************************************************
* Special markup
******************************************************************************/

.subsup {
    display: inline;
    vertical-align: -0.2em;
}

.subsup td {
    padding: 0px;
    text-align: left;
}

.fraction {
    display: inline;
    vertical-align: -0.8em;
}

.fraction td {
    padding: 0px;
    text-align: center;
}

.wide {
    position: relative;
    margin-left: -0.4em;
}

.accent {
    position: relative;
    margin-left: -0.4em;
    top: -0.1em;
}

.compact-block p, .compact-block center {
    margin: 0px;
    padding: 0px;
}

.left-tab {
    text-align: left;
}

.center-tab {
    text-align: center;
}

.right-tab {
    text-align: right;
    margin-top: -1.2em;
}

tt, .verbatim {
    font-family: var(--tt-family);
    font-size: 90%;
}

/******************************************************************************
* Further hacks
******************************************************************************/
code {
    font-size: 80%;
    font-family: var(--tt-family);
}

.tmweb-code {
    font-size: 90%;
}
.tmweb-code-xx {
    font-size: 90%;
    color: #567b70;
    background-color: #eee;
    border-width: 1px;
    border-color: #4040C0;
    border-style: solid;
    padding: 0.3em 0.6em;
    margin: 0.5em 0em;
}

.tmweb-code p, .tmweb-code pre {
    margin: 0px;
    padding: 0px;
}

.tmweb-key {
    font-size: 84%;
    background-color: #E0D0C0;
    box-shadow: 0.1em 0.1em #506080;
    padding: 0.05em 0.1em;
    margin: 0em 0.05em;
    min-width: 0.6em;
}

.tmweb-menu {
    font-size: 92%;
}

.tmweb-markup {
    color: #4040C0;
    font-family: var(--title-family);
}


.tmweb-entry-date {
    font-size: 70%;
    float: right;
    font-style: italic;
}

.tmweb-entry-abstract {
    font-size: 50%;
    color: darkslategrey;
    padding-left:  5em;
    display: block;
    padding-bottom: 1em;
}

/* fixes for bibliography */

.compact-block dt {
    float: left;
}

.compact-block dd {
    margin-bottom: 0.2em;
    margin-inline-start: 25px;
}

.caption {
    font-size: 90%;
}

span.blockspam {
    display: none;
  }
/******************************************************************************
* CV specific
******************************************************************************/

.tmweb-cv-body p {
    font-size: 0.9rem;
    margin-left: 85px;
    line-height: 1.2;
}

.tmweb-cv-section p {
    color: var(--color-title);
    font-family: var(--title-family);
    font-size: 1.1rem;
    font-weight: 600;
    margin-top: 1.5em;
    margin-bottom: 0.7em;
}

.tmweb-cv-subsection {
    font-family: var(--title-family);
    font-weight: 300;
    margin-left: 85px;
}

.tmweb-cv-section p:before {
    content: "";
    display: inline-block;
    margin-right: 8px!important;
    margin-inline-start: -95px;
    width: 80px;
    height: 1px;
    background-color: var(--color-title);
    background-position: 0 100%;
    }
    
.tmweb-cv-timeline {
    float: left;
    width: 85px;
    margin-right: 8px!important;
    margin-inline-start: -100px;
    padding-top: 0.2em;
    text-align: right;
    font-size: 0.7rem;
    font-family: var(--title-family);
} 

.tmweb-bib-year {
    float: left;
    width: 85px;
    margin-right: 8px!important;
    margin-inline-start: -120px;
    padding-top: 0.2em;
    text-align: right;
    font-size: 0.7rem;
    font-weight: bold;
    font-family: var(--title-family);
    color: var(--color-title);
}

/******************************************************************************
* Quick Wins - Modern UX Improvements
******************************************************************************/

/* Navigation */
.main-nav {
    background: rgba(255, 255, 255, 0.95);
    backdrop-filter: blur(10px);
    border-bottom: 1px solid #e0e0e0;
    position: sticky;
    top: 0;
    z-index: 100;
    margin: -3em -4em 2em -4em;
    padding: 1rem 4rem;
}

.nav-container {
    display: flex;
    justify-content: space-between;
    align-items: center;
    max-width: 750px;
    margin: 0 auto;
}

.brand {
    font-family: var(--title-family);
    font-weight: bold;
    color: var(--color-title);
    font-size: 1.2rem;
}

.nav-links {
    display: flex;
    gap: 1.5rem;
}

.nav-links a {
    color: var(--color-text);
    text-decoration: none;
    font-weight: 500;
    transition: color 0.3s ease;
    font-size: 0.9rem;
}

.nav-links a:hover {
    color: var(--color-title);
}

/* Hero Section */
.hero-section {
    text-align: center;
    margin-bottom: 3rem;
    padding: 2rem 0;
}

.hero-section h1 {
    margin-bottom: 0.5rem;
    font-size: 2.2rem;
}

.subtitle {
    font-size: 1.2rem;
    color: var(--color-title);
    font-weight: 600;
    margin-bottom: 1rem;
    font-family: var(--title-family);
}

.value-prop {
    font-size: 1.1rem;
    line-height: 1.6;
    max-width: 600px;
    margin: 0 auto;
    color: #666;
}

/* Highlights Grid */
.highlights {
    margin: 3rem 0;
}

.highlights h2 {
    text-align: center;
    margin-bottom: 2rem;
}

.highlight-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
    gap: 2rem;
    margin-top: 2rem;
}

.highlight-item {
    background: #f8f9fa;
    padding: 1.5rem;
    border-radius: 8px;
    text-align: center;
    border: 1px solid #e9ecef;
    transition: transform 0.2s ease, box-shadow 0.2s ease;
}

.highlight-item:hover {
    transform: translateY(-2px);
    box-shadow: 0 4px 12px rgba(0,0,0,0.1);
}

.highlight-item h3 {
    margin: 0 0 1rem 0;
    font-size: 1.1rem;
    color: var(--color-title);
}

.highlight-item p {
    margin: 0;
    font-size: 0.9rem;
    line-height: 1.5;
}

/* About Section */
.about {
    margin: 3rem 0;
}

.about h2 {
    margin-bottom: 1.5rem;
}

/* Call to Action */
.contact-cta {
    background: linear-gradient(135deg, #f8f9fa 0%, #e9ecef 100%);
    padding: 3rem 2rem;
    border-radius: 12px;
    text-align: center;
    margin: 3rem 0;
    border: 1px solid #dee2e6;
}

.contact-cta h2 {
    margin-bottom: 1rem;
    color: var(--color-title);
}

.contact-cta p {
    font-size: 1.1rem;
    margin-bottom: 2rem;
    color: #666;
}

.cta-buttons {
    display: flex;
    gap: 1rem;
    justify-content: center;
    flex-wrap: wrap;
}

.btn {
    display: inline-block;
    padding: 0.75rem 1.5rem;
    border-radius: 6px;
    text-decoration: none;
    font-weight: 600;
    font-family: var(--title-family);
    transition: all 0.3s ease;
    border: 2px solid transparent;
}

.btn.primary {
    background: var(--color-title);
    color: white;
    border-color: var(--color-title);
}

.btn.primary:hover {
    background: #c62d2d;
    border-color: #c62d2d;
    transform: translateY(-1px);
    box-shadow: 0 4px 8px rgba(154, 39, 39, 0.3);
}

.btn.secondary {
    background: transparent;
    color: var(--color-title);
    border-color: var(--color-title);
}

.btn.secondary:hover {
    background: var(--color-title);
    color: white;
    transform: translateY(-1px);
}

/* Projects & Experience Section */
.projects-experience {
    margin: 4rem 0;
}

.projects-experience h2 {
    text-align: center;
    margin-bottom: 3rem;
}

.experience-grid {
    display: flex;
    flex-direction: column;
    gap: 2rem;
    margin-bottom: 2rem;
}

.experience-item {
    background: white;
    border: 1px solid #e0e0e0;
    border-radius: 10px;
    padding: 2rem;
    box-shadow: 0 2px 4px rgba(0,0,0,0.05);
    transition: transform 0.2s ease, box-shadow 0.2s ease;
}

.experience-item:hover {
    transform: translateY(-2px);
    box-shadow: 0 8px 16px rgba(0,0,0,0.1);
}

.experience-header {
    display: flex;
    justify-content: space-between;
    align-items: flex-start;
    margin-bottom: 1rem;
    flex-wrap: wrap;
    gap: 0.5rem;
}

.experience-header h3 {
    margin: 0;
    color: var(--color-title);
    font-size: 1.2rem;
    font-family: var(--title-family);
}

.experience-period {
    background: #f0f0f0;
    padding: 0.3rem 0.8rem;
    border-radius: 15px;
    font-size: 0.85rem;
    color: #666;
    font-weight: 500;
    white-space: nowrap;
}

.experience-content h4 {
    margin: 0 0 0.5rem 0;
    color: var(--color-text);
    font-size: 1.1rem;
    font-weight: 600;
}

.experience-content p {
    margin-bottom: 1rem;
    line-height: 1.6;
    color: #555;
}

.skills-tags {
    display: flex;
    flex-wrap: wrap;
    gap: 0.5rem;
}

.skill-tag {
    background: rgba(154, 39, 39, 0.1);
    color: var(--color-title);
    padding: 0.3rem 0.8rem;
    border-radius: 12px;
    font-size: 0.8rem;
    font-weight: 500;
    border: 1px solid rgba(154, 39, 39, 0.2);
}

.projects-cta {
    background: #f8f9fa;
    padding: 1.5rem;
    border-radius: 8px;
    text-align: center;
    border-left: 4px solid var(--color-title);
    margin-top: 2rem;
}

.projects-cta p {
    margin: 0;
    font-style: italic;
    color: #666;
}

.projects-cta strong {
    color: var(--color-title);
}

/* Construction Notice */
.construction-notice {
    background: linear-gradient(135deg, #fff3cd 0%, #ffeaa7 100%);
    border: 1px solid #f39c12;
    border-radius: 8px;
    margin: 2rem 0;
    padding: 1rem;
    box-shadow: 0 2px 4px rgba(243, 156, 18, 0.1);
}

.construction-content {
    display: flex;
    align-items: center;
    gap: 1rem;
    max-width: 100%;
}

.construction-icon {
    font-size: 2rem;
    flex-shrink: 0;
}

.construction-text {
    flex: 1;
}

.construction-text strong {
    color: #d68910;
    font-family: var(--title-family);
    font-size: 1.1rem;
    display: block;
    margin-bottom: 0.3rem;
}

.construction-text p {
    margin: 0;
    color: #856404;
    font-size: 0.9rem;
    line-height: 1.4;
}

/* Mobile responsiveness for construction notice */
@media (max-width: 768px) {
    .construction-content {
        flex-direction: column;
        text-align: center;
        gap: 0.5rem;
    }
    
    .construction-icon {
        font-size: 1.5rem;
    }
}