/* this file gets included from testgtk.css */

#main_window button {
    font-family: Monospace;
    font-size: 10px;
}

#main_window button:hover {
    background-color: rgba(0%, 0%, 75%, 0.1);
}