Category Archives: Web

Firefox: Defining font type and size

See Firefox/Font type and size.

Firefox tuning


These edits I use to help Firefox ergonomics — basically they are only fine touches.

Configuration editor

For quick and accessible configuration editing, I like to use the configuration editor. It can be got to by typing about:config in the URL bar.

Session remember

New tab for a new page


New tabs unfocused (when loading a new page)


Middle-click, accidental click, prevention

To protect against accidental middle-clicks that open new tabs with the contents of the clipboard:


Spell check in all entry fields enable


DPI set

Firefox assumes the monitor to have a DPI of 96. If the monitor has a different DPI this setting will adjust font sizes befittingly; the value is a decimal, the result of Monitor-DPI/96 (e.g. 102/96).


Help rollovers disable

Tabnails disable when rearranging tabs


Mouse scroll speed


Source code editor define


“Do Not Track” enable

Read more on this here.


Font type and size

Many sites define font size depended on CSS values. Using these values can be helpful in define font size: Firefox: Defining font type and size.


Avoid add-ons that are unnecessary; add-ons contribute to the potentiality of creating an un-stable browser experience. These add-ons give nice bonuses and have a good reputation:

  • Adblock Plus — blocks annoying buy keep unobtrusive ads.
  • Clear Fields – adds a clear text button for URL and search text entries.
  • Omnibar — integrate location and search bar
  • Wired Marker — highlight text on a webpage and remember it.

References and tips

  • Firefox shortcut keys
    • F6: Focus toggle of browser window and URL bar.
  • Middle-clicking a tab will close the tab.
  • For spell checking be sure to add the dictionary (e.g. hunspell-en package for English…), enable by right clicking in text-entry field.
  • Reset Firefox if problems begin (keeps bookmarks, passwords…).
  • Firefox Tips and Tweaks.

Restore Settings on a Broken Firefox

Update: 09-29-11 – Using script to automate process, see end of post.

When people have a issue with Firefox I’ve seen many people will resort to deleting their old profile (or folder) and creating a new one. This works but doing this will get rid of any passwords, history, bookmarks… therein. Having used Firefox quite a bit creating a new profile from time to time is a good idea anyhow as cruft, bad extensions, … can slow down browsing.


Copying the Firefox configs can be done by:

cd ~/.mozilla/firefox/

Backup the old profile and profile list:

mv xxxxxxxx.default{,.bck}
mv profiles.ini{,.bck}

Create a new profile:

firefox -CreateProfile <profilename>

This command will return the name of the new folder. Copy the basic settings to the new profile:

cd *.default.bck
cp places.sqlite key3.db cookies.sqlite mimeTypes.rdf formhistory.sqlite signons.sqlite permissions.sqlite webappsstore.sqlite persdict.dat content-prefs.sqlite ../*.<profilename>

This will transfer the bookmarks, browsing history, form entries, passwords, personal dictonary changes, and page zooms. There might be a couple other things wanted to add (possibly your firefox preferences), take a look at Transferring data to a new profile for more information.


Get every new post delivered to your Inbox.

Join 58 other followers