Support Forum

Hi, I'm trying to understand what is the best/most correct way to modify the font on my forum.  I'm using the default theme.  I found the following css block in the default.css:

#spMainContainer {
 color: <?php echo($mainBackGroundColor); ?>;
 background: <?php echo($mainBackGround); ?>;
 border: <?php echo($mainBackGroundBorder); ?>;
 font-family: <?php echo($mainFontFamily); ?>;
 font-size: <?php echo($mainFontSize); ?>;
 line-height: <?php echo($mainLineHeight); ?>;
 <?php echo($smallRadius); ?>
 padding: 1px;
}

My suspicion is that the best way to change the font would be to find where the $mainFontFamily is set and modify it to my desire font.  Is that right?  Or should I rather set the font-family within this css style block?

Thx!