alternate stylesheet for jtageditor
authorJan Michel <j.michel@gsi.de>
Sun, 4 Aug 2013 14:14:32 +0000 (16:14 +0200)
committerJan Michel <j.michel@gsi.de>
Sun, 4 Aug 2013 14:14:32 +0000 (16:14 +0200)
commit5a1e74513ddfd87c82ebee2a26ea514caa9db18e
tree74377b8776a8ca5f7d40f210db06c7ee64a38dbf
parent551238783b7b87966d6539bc58a803544ff12396
alternate stylesheet for jtageditor
layout/jtageditor_blue.css [new file with mode: 0644]
layout/styles.css
tools/jtageditor.pl
tools/xmlOperation.pl