Amir E. Aharoni fd1cbea69a Add font selection functionality to the elements ...

* Disable the font selection dropdown if the checkbox is unchecked.
* Apply the font from the dropdown to the window.

Change-Id: I8e3f52dfb2f772fc8a2b8b18e0639ad802e8770e

2012-08-20 14:25:52 +05:30

..

css

CSS adjustments on color and sizes

2012-08-17 17:23:39 +05:30

images

Fixup a few minor documentation issues

2012-08-19 01:19:46 +01:00

js

Add font selection functionality to the elements

2012-08-20 14:25:52 +05:30