I'm setting up my elementary OS 0.4 installation, and I am trying to use the terminal, which is very nice by the way - however there are no options available. I can't change the font sizes or colours, etc. What I need to do is install something called elementary tweaks.
First, we need to install the things we need to add a ppa repository:
sudo apt update && sudo apt install software-properties-common -y
Now, we can add the PPA for elementary tweaks:
sudo add-apt-repository ppa:philip.scott/elementary-tweaks && sudo apt-get update
Then finally, we can install elementary tweaks:
sudo apt install elementary-tweaks
And if you go into the System Settings (Applications -> System Settings) you will see "Tweaks" installed.
And we're done :) Now I can change the terminal font plus a lot more!