/* Media settings */

/* Don't play webm videos in the browser
 *
 * I already have a video player, and it's not Firefox.
 *
 */
user_pref("media.webm.enabled", false);