#vector {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

#debug {
    /* font-size: small; */
    color: gray;
    margin-left: 5%;
    margin-right: 5%;
}

#howto {
    color: black;
    margin-left: 5%;
    margin-right: 5%;
}