diff graphics.css @ 951:55bf2500f278

Popup now in core.js, universal to interface.
author Nicholas Jillings <nicholas.jillings@eecs.qmul.ac.uk>
date Tue, 26 May 2015 11:40:17 +0100
parents b5262d076f0b
children 375410a5571d
line wrap: on
line diff