body {
    padding: 0;
    margin: 0;
  text-align: justify;
  text-justify: inter-word;
 font-family: Garamond,Baskerville,Baskerville Old Face,Hoefler Text,Times New Roman,serif;
  background-color: #0000;
  color: #1B2631;


  a:link {
  color: #1B2631;
  background-color: transparent;
  text-decoration: none;
}

a:visited {
  color:#1B2631;
  background-color: transparent;
  text-decoration: none;
}

a:hover {
  color: #5D6D7E;
  background-color: transparent;
  text-decoration: none;
}
}


@media (prefers-color-scheme: dark) {
  body{
  background-color: #17202A;
  color: #EBDEF0;

  a:link {
  color: #EBDEF0;
  background-color: transparent;
  text-decoration: none;
}

a:visited {
  color:#EBDEF0;
  background-color: transparent;
  text-decoration: none;
}

a:hover {
  color: #c0b5c4;
  background-color: transparent;
  text-decoration: none;
}
  }
}



    body.home__body {
        min-height: 100%;
        height: 100%;

    }

main.home {
    display: flex;
    align-items: center;
    justify-content: center;
    height: auto;
    margin: 14%;
   
}

main.page {
    width: 600px;
    height: auto;
    margin: 80px auto 0 auto;
   
}

main.lpage {
    width: 800px;
    height: auto;
    margin: 80px auto 0 auto;
   
}

main > .card__wrapper {
    width: 600px;
   
}

main .page__title-container {
    display: flex;
    width: 100%
}

    main .page__title-container a {
        margin-left: auto
       
    }

/* Spacing */
a, a:hover, a:visited {
   
    text-decoration: none;
    padding: 4px 0;
}

h1, h2, h3 {
    margin-top: 0;
    margin-bottom: 0px;
    font-size: 30px;
    font-weight: normal;
   
}

h2 {
    font-size: 20px;
    margin-bottom: 0px;
}

h3 {
    font-size: 18px;
    font-weight: bold;
    margin-bottom: 0
}

ul + h3 {
    margin-top: 20px;
}

ul {
    list-style-position: unset;
    list-style-type: none;
    padding: 0;
    margin: 0
}

.ul__links p {
    margin: 0
}

    .ul__links p:last-of-type {
        font-size: 10px;
    }

.home ul {
    margin: 40px 0;
}

p {
    line-height: 1.2em;
    font-size: 18px;
}

/* Home page */
.card {
    display: flex;
    flex-direction: row
}

    .card li {
        font-size: 20px;
 /*       font-weight: bold;*/
    }

    .card > .card__description, .card > .card__image.inverse {
        width: 60%;
    }

    .card > .card__image, .card > .card__description.inverse {
        width: 40%;
    }

    .card .card__image img {
        display: block;
        width: 100%;
        height: auto;
        border-radius: 16px;
        margin: 0px 100px
    }

    .card .card__info p {
        margin: 0
    }

    .card p.card__icons {
        margin: 5px 0
    }

        .card p.card__icons a {
            margin-right: 5px;
        }

/* Resizing */

@media only screen and (max-width: 700px) {

    body {
    padding: 0;
    margin: 0
}
    main, main.home {
        display: block;
        margin: 32px 16px;
    }

    .page__container {
        margin: 0 16px;
    }

    main.page {
        width: 100%;
        margin: 32px auto 0 auto;
    }


        main.lpage {
        width: 100%;
        margin: 32px auto 0 auto;
    }

        main > .card__wrapper {
            width: 100%;
        }

    .card {
        flex-direction: column
    }

        .card > .card__description, .card > .card__image {
            width: 80%;
             margin: 10px auto 0 auto;
        }

        .card .card__image img {
            width: 100%;
            margin: 0px auto 0 auto;
        }
}


.bottom-left-text {
    position: fixed; 
    bottom: 10px;
    left: 10px;
    background-color: white;
    padding: 5px;
    border-radius: 3px;
    /* font-family: Arial, sans-serif; */
    font-size: 13px;
    color: gray;
    z-index: 1000; 
}


.top-left-icon {
    position: fixed; 
    top: 10px;
    left: 10px;
    background-color: white;
    padding: 5px;
    border-radius: 3px;
    /* font-family: Arial, sans-serif; */
    font-size: 13px;
    color: gray;
    z-index: 1000; 
}



.home-icon-link {
    position: fixed; /* Keeps the icon in place even when scrolling */
    bottom: 20px;    /* 20 pixels from the bottom of the viewport */
    left: 20px;      /* 20 pixels from the left of the viewport */
    font-size: 2em;  /* Makes the icon larger (e.g., twice the base font size) */
    color: #333;     /* Sets the icon color. Adjust as desired. */
    z-index: 1000;   /* Ensures the icon stays on top of other content */
    /* Optional: Add a subtle shadow or transition for better aesthetics */
    text-shadow: 1px 1px 2px rgba(0,0,0,0.2);
    transition: color 0.3s ease;
}

.home-icon-link:hover {
    color: #007bff; /* Changes color on hover. Adjust as desired. */
}


  .indented-text {
    margin-left: 40px; /* Adjust this value as needed for your desired "tab" width */
    display: block; /* Ensures it takes up its own line if you want it below the main text */
  }

  .indented-inline {
    margin-left: 20px; /* Smaller indent for inline text */
  }



.indented-list {
    margin-left: 30px;
    padding-left: 0px; 
}



pre {
  background-color: #f4f4f4;
  padding: 15px; /* Aggiunge un po' di spazio interno per renderlo più leggibile */
  border-radius: 5px; /* Arrotonda gli angoli del blocco */
}