I see terminalTitlebarBorderBottomColor in the docs, but how to I change the overall border color, not just the bottom? It seems like a strange omission so I'm probably missing something? Thanks!