Improvements and fixes for the default theme.#9652

Merged

akien-mga merged 1 commit intogodotengine:masterfrom djrm:theme_fixes

Jul 17, 2017

+2,313-155

Commits on Jul 16, 2017

Improvements and fixes for the default theme.
djrm
committed