view graphics.css @ 144:4c59838d1225 Dev_main

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 955d229b8a02
children 375410a5571d
line wrap: on
line source
/* graphics.css
 * Define colours and effects for classes and objects
 */

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

body {
}