
body {
    background-color: white;
    color: black;
    font-size: 110%;
    font-family: 'Lucida Console', monospace;
}

h1 {
    text-align: center;
    font-size: 200%;
}

h2 {
    margin: 0px;
}

rainbow {
  margin-top: 0px;
  background: linear-gradient(to right, #ef5350, #f48fb1, #7e57c2, #2196f3, #26c6da, #43a047, #eeff41, #f9a825, #ff5722);
  -webkit-background-clip: text;
  -webkit-text-fill-color: transparent;
}

.content {
    padding: 4px;
    border-width: 1px;
    border-style: dotted;
    border-color: black;
    width: 155%;
    order: 2;
}

.site {
    margin: auto;
    width: 100%;
    text-align: center;
    justify-content: center;
    align-items: center;
}

.inner {
    justify-content: center;
    display: flex;
    flex-direction: row;
    gap: 15px;
    width: 100%;
    background-color: white;
    margin: auto;
}


.wrapper {
    background-color: white;
    width: 80%;/*Change to 81 depending on the spirit of the time*/
    margin: auto;
    margin-top: -2%;
    padding: 2em;
}

nav {
    padding: 4px;
    border: 1px;
    border-style: dotted;
    border-color: black;
    text-align: center;
    order: 1;
    width: 10%;
    height: 10%;
}

.date {
    font-size: 80%;
}

.links {
    order: 3;
    padding: 4px;
    border: 1px;
    border-style: dotted;
    border-color: black;
    width: 15%;
    height: 10%;
    text-align: center;
}

/* General content styling */
.content {
    width: 80%;
    margin: 0 auto;
}

/* TOC container styling */
.toc-container {
    display: flex;
    justify-content: space-between;
    align-items: stretch;
    margin: 10px 0;
    padding: 2px;/*was 5*/
    border: 1px;
    border-style: dotted;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
    position: relative;
}

.toc-column {
    width: 45%;
    display: flex;
    flex-direction: column;
    justify-content: center;
    align-items: center;
}

/* Styling for the links */
.toc-column a {
    margin: 7px 0;
}

/* Styling for the middle line */
.toc-container::before {
    content: "";
    position: absolute;
    top: 10px;
    bottom: 10px;
    left: 50%;
    width: 1px;
    background-color: #ccc;
}

.vecteur {
    position: relative;
}
.vecteur::before {
    content: "\2192";
    position: absolute;
    top: -0.55em;
    left: -0.1em;
    font-size: 1.2em;
}

var.vector {
    font-style : normal;
}
var.vector span {
    margin-left: -.55em;   /* shift the arrow back over the letter */
    vertical-align : .2em; /* tune the arrow vertical position */
}

.spoiler {
    color: #000000;
    background: #000000;
}

.spoiler:hover {
    color: #ffffff;
    color: #eeeeee;
}

a:hover {
    outline: 2px dotted blue;
}

a {
    color: green;
    text-decoration: none;
}

.tiny {
    font-size: 80%;
}
