.gt * {
    font-family: DejaVu Sans Mono !important;
}

/* Hide the gadget toolbar */
.aj5.J-KU-Jg {
	display: none;
}