Thank you for contacting us and sharing your feedback. We have this issue logged and planned for fixing. You can expect it in one of the upcoming releases. On a side note this issue is observed when using the Blue theme only.
Should you have any future inquires don't hesitate to contact us again.
DevCraft Q1'14 is here! Join the free online conference to see how this release solves your top-5 .NET challenges. Reserve your seat now!