@sdetweil Thank you for your suggestions.
I have been using the CSS files that came with the original installation. I have backups of the original files, though. I’ll see how I can make a custom css file.
But I still don’t have an answer to my questions!