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!