==== How to change font size ====
  * Settings -> General -> (bottom) Config Editors -> Search for "pixelsPer" -> Change -1 into 2
  * ref: https://support.mozilla.org/en-US/questions/1361422