@import url('https://fonts.googleapis.com/css2?family=Source+Sans+3:ital,wght@0,200..900;1,200..900&display=swap');
@import url('https://fonts.googleapis.com/css2?family=Merriweather+Sans:ital,wght@0,300..800;1,300..800&family=Source+Sans+3:ital,wght@0,200..900;1,200..900&display=swap');
@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@700&display=swap');

nav a {
    font-family: "JetBrains Mono";
}

body {
    font-family: "Source Sans 3", sans-serif;
    font-weight: normal;
    font-size: 1.2em;
}

p {
    text-align: justify;
}

h1{
    text-align: center;
    margin-top: 1em;
    margin-bottom: 1em;
}

h2{
    margin-top: 0.8em;
    margin-bottom: 0.8em;
}

a.tag {
    text-decoration: none;
    color: inherit;
    font-style: italic;
}

div.col-1{
    display: block;
    text-align: right;
}

.custom-prev-icon,
.custom-next-icon {
font-size: 1.5rem;
color: white;
background-color: rgba(0, 0, 0, 0.5);
padding: 8px 12px;
border-radius: 8px;
font-weight: bold;
transition: background-color 0.3s ease;
}

.custom-prev-icon:hover,
.custom-next-icon:hover {
background-color: rgba(0, 0, 0, 0.8);
}