ui: make selected text on program doc stronger#863

edwin-zvs merged 3 commits into

mainconstruct-worlds/construct:mainfrom

stronger-highlightconstruct-worlds/construct:stronger-highlightCopy head branch name to clipboard