I just assumed that the way you'd configure the "Default Font Type and Size" that was the original topic of this thread was by editing the Styles.
The implementation may make it more difficult, though: if the Styles are duplicated for each new snippet instead of being shared, it's harder to update when the styles change. :(
Last edited by Parody; April 10th, 2015 at 06:59 AM.
|