On 05/10/2017 01:15 AM, Johann Spies wrote:
arandr is a graphical frontend to xrandr.
Having started to read the man page for xrandr I launched arandr. A few minutes of experimentation got me a quite usable interim solution to an immediate problem - legibly displaying mariadb documentation.