Thanks for the suggestion, but I'm still searching 25+ pages looking for a random game. Smaller font size doesn't put more games on a page or give direct access to page 23 or put them in a rational order. CTRL-F works the same with normal font sizes (and is easier to read ;-) ).
