@font-face {
    font-family: "Doto";
    font-style: normal;
    font-weight: 900;
    src: url("../assets/fonts/Doto-ExtraBold.ttf") format("truetype");
}
@font-face {
    font-family: "Noto Sans";
    font-style: normal;
    font-weight: 400;
    src: url("../assets/fonts/NotoSans-Regular.ttf") format("truetype");
}
@font-face {
    font-family: "Noto Sans";
    font-style: normal;
    font-weight: 600;
    src: url("../assets/fonts/NotoSans-SemiBold.ttf") format("truetype");
}
@font-face {
    font-family: "Noto Sans";
    font-style: normal;
    font-weight: 700;
    src: url("../assets/fonts/NotoSans-Bold.ttf") format("truetype");
}

:root  > * {
    --md-primary-fg-color:        #EE0F0F;
    --md-primary-fg-color--light: #ECB7B7;
    --md-primary-fg-color--dark:  #90030C;

    --md-code-fg-color:           hsla(0, 0%, 0%, 1);
    --md-code-bg-color:           hsla(200, 0%, 90%, 1);
  
    --md-text-font: "Noto Sans";
    --md-code-font: "Doto";
}

.lang_button {
    margin-bottom: 3em;
    a {
        display: inline-block;
        padding: 10px 10px;

        margin: 0 10px;
        margin-right: 50px;
    }

    img {
        transform: scale(2);
        display: block;
        margin: 2px 20px 2px 0px;
    }
}

.grid_margin {
    padding-top: 1em;
}

.md-typeset {
  font-size: 140%;

  h1 {
    color: #000000;
    font-size: 130%;
    font-weight: 600;
  }

  h2 {
    color: #c30713;
    font-size: 130%;
    font-weight: 600;
  }
  
  h3 {
    color: #94020c;
    font-size: 110%;
    font-weight: 600;
  }
  
  h4 {
    font-weight: 600;
  }

  code {
    /* font-weight: 900; */
    font-size: 110%;
    padding: 3px 6px;
    margin: 0 3px;
  }

  hr {
    border-color: #d1d1d1;
  }

  .admonition {
    font-size: 100%;
  }

  .admonition, details {
    border-width: 1px;
    border-left-width: 4px;
  }

  .admonition-title {
    
  }
}

.additional_header {
    font-size: 120%;
    font-weight: 600;
    margin-bottom: 1em;
    color: #717171;
}


@media print {
    /* .md-typeset {
        font-size: 100%;
        font-family: "Noto Sans";
    } 
    html, body {
        font-family: "Noto Sans";
    }
    code, pre, kbd, samp { font-family: "Doto"; } */

    .md-typeset {
        /* font-size: 110%; */

        code {
            font-family: "Doto";
        }
    } 

    .md-typeset hr {
        break-after: page; 
        page-break-after: always; 
        padding: 1px;
        margin: 1px;
        height: 1px;
    }
    .md-typeset hr.no-page-break {
        break-after: avoid; 
        page-break-after: avoid; 
    }
    
    @page {
        size: A4;
        margin: 10mm 15mm 5mm 15mm;
        /* width: 800px;
        height: 1130px; */

        /* body { 
            min-width: 300px; 
            zoom: 80%;
            transform: scale(.7);
        } */
        
    }

}