t;
    font-size: 14pt;
}

button {
    width: 108pt;
    height: 28pt;
    margin-left:4pt;
    margin-right:4pt;
    font-size: 16pt;
}

.incdec {
    width: 22pt;
    height: 22pt;
    margin-left: 1pt;
    margin-right: 1pt;
    font-size: 14pt;
}
    </style>
    <script language="JavaScript">
// quest count
var quests = [0, 0, 0, 0, 0, 0, 0, 0, 0];
var hidden_quests = [0, 0, 0];

// client
var w = 640.0;
var h = 512.0;

// visible region
var x_min = -1.0;
var y_min = -1.0;
var x_max = 5.0;
var y_max =