Added a dark theme and fixed the missing java code formatting of txtmark