So far I am using the same color that is used for the workspace; should it be
a problem, we can use a different color.

Change-Id: I06fde7f31a9d37d2e387a7e3fd0b6d3d33f8d6e6