Font

Syntax: a font name valid for HTML $<$FONT$>$ specification

This specifies the font to use throughout the search interface.


Copyright © Thunderstone Software     Last updated: Apr 11 2022
Copyright © 2022 Thunderstone Software LLC. All rights reserved.