-deck editor cards are now cleared before a deck is loaded
-Fixed up UI bugs with editor
-Editor now takes a copy count rather than tracking cards individually
-Editor now clears old cards properly when a deck is loaded for editing
-Editor now stacks cards when a deck is loaded for editing
-Minor CSS edits
-$int now returns either (text) or (val), if either is available, rather than defaulting to (text)