added dark theme to editor...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
added gray theme to editor...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
tweaking editor size...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>