/* Default font */
body {
    font-family: Helvetica, sans-serif;
    font-size: 18px;
}

/* Button for mapping inserted log sources */
.mapping-button {
    margin-top: 10px;
    margin-bottom: 10px;
    padding: 10px;
    border-radius: 10px;
    background-color: darkgoldenrod;
    color: white;
    border: 1px solid black;
    cursor: pointer;
}