/* "Run this notebook in Binder" banner inserted by the nbbinder extension */
.binder-banner {
    font-size: 90%;
    margin-bottom: 0.5em;
}