diff graphics.css @ 256:2e19ac736876

Slider now enabled optionally based on tag <option name='playhead'/> in interfaces
author Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
date Wed, 01 Jul 2015 13:49:01 +0100
parents 955d229b8a02
children 375410a5571d
line wrap: on
line diff