view graphics.css @ 1004:c2b433c675c0

Fix Bug #1257: Sliders now store their initial position once they are created, not once playback starts.
author Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
date Sat, 30 May 2015 11:23:41 +0100
parents 375410a5571d
children
line wrap: on
line source
/* graphics.css
 * Define colours and effects for classes and objects
 */

div.title {
	font-size: 2em;
}

body {
}