terminal theme file
Removing batchbook specific stuff