Issue1294: Fixes to colors in Sphinx theme#1467

ewels merged 3 commits intonf-core:devnf-core/tools:devfrom

MatthiasZepper:issue1294_colorsMatthiasZepper/tools:issue1294_colorsCopy head branch name to clipboard