Added figure/caption CSS.
Added DrJava gif.