/* Root variables */
:root {
    --header-margin-top: 10vh;
    --header-height: 3vh;
    --header-sizer: 1.22;
}

/* Body */
body {
    margin-top: var(--header-margin-top);
}

/* Header menu styles */
.tinyMenu {
    position: fixed;
    top: 0;
    left: 0;
    height: var(--header-height);
    font-size: calc(var(--header-height) / var(--header-sizer)); /* Adjusted to use variables */
    z-index: 100;
    background-color: black;
}

/* Menu items */
.tinyMenu div {
    display: inline;
    background-color: black;
    color: white;
}

/* Links */
.tinyMenu div a {
    text-decoration: none;
    color: white;
    padding: 6px;
    /* font-size adjusted above in .tinyMenu */
}

/* Link hover state */
.tinyMenu div a:hover {
    background-color: yellow;
    color: black;
}

/* Link clicked state */
.tinyMenu div a.clicked {
    background-color: green;
    color: white;
}