/* Layout divs: */

#mainPage { background-color: #888888; }

#titleText { text-align: center; font-size: larger; font-family: Helvetica, Arial, sans-serif; margin: 8pt; }

#topDescription { text-align: left; font-size: smaller; font-family: New Century Schoolbook, Palatino, Times New Roman, Times, serif;  margin: 12pt; }

#codeBox { font-size: 10pt; border-style: solid; background-color: #ffffff; font-family: Courier New, Courier, monospace; } 

#adsTop { text-align: center; margin: 4pt; }
#adsBottom { text-align: center; margin: 4pt; }