Working on #8. Pushing dotted-border.png images to .themes and source directories with the new accent color