/*Verilator blue #008fd7; set in html*/
.wy-side-nav-search > div.version {
    color: #111;
}