.autohide {
    visibility: hidden;
    background-color: white;
    padding: 2px;
    font-weight: bold;
    z-index: 2;
    opacity: 0;
    transition: visibility 0s 4s, opacity 4s linear;
}
.autoshow {
    visibility: visible;
    background-color: white;
    padding: 2px;
    font-weight: bold;
    z-index: 2;
    opacity: 1;
}
.diffinfo {
    border: 2px solid #777777;
    background-color: #eeee55;
    border-radius: 1em;
}
body {
    margin-top: 1in;
}

#_autodiff_buttons {
    width: 50em;
    background-color: white;
    border-top: none;
    border-left: none;
    border-right: none;
    border-bottom: 1px dotted black;
    z-index: 100;
}