From 001bb1d3f3df697972b3d30ad7dfa56d00f0420d Mon Sep 17 00:00:00 2001
From: Manuel Quiñones <manuq@laptop.org>
Date: Mon, 20 May 2013 16:41:33 +0000
Subject: Add custom images to media player buttons

Using data-urls the small images can be replaced by custom ones.
Converted them to data-urls with this online tool:
http://dataurl.net/#dataurlmaker

I couldn't find selectors for active buttons, 'active' pseudo class
doesn't work.
---
(limited to 'globalhistory.py')

--
cgit v0.9.1