<?php $search_text="font-size:10pt;"; $search_input="font-size:10pt;"; $search_button="font-size:10pt;"; ?>