Thanks for your answer! Yes, the ugly margin is there even when not maximizing the terminal and even when not using a css override file. (I removed the css override so I can keep working.) I'm attaching a screen shot (the ugly border is only on the right side, probably scroll bar related?)
Also worthy of note (sorry, spaced on this last time): I installed this as Ubuntu Server, and then added the desktop by doing sudo apt install ubuntu-desktop. I have also installed the NVIDIA CUDA tools, which installs the NVIDIA 375 driver. Interestingly, my control panels don't have any option to select default window chrome sizes or font sizes, although the Terminal application itself does. I wonder if ubuntu-desktop doesn't actually include *everything* it needs. (I also noted that gnome-screenshot wasn't installed by default; I had to install it manually.) The version of ubuntu-desktop is 1.379 and the version of unity is 7.5.0+17.04.20170407.1-0ubuntu1 Regarding "symmetric" margins, the following padding does NOT cause the problem: padding: 1px 1px 1px 1px; The following padding DOES cause the problem: padding: 2px 1px 1px 1px; ** Attachment added: "screen shot of ugly margin and versions" https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+attachment/4944285/+files/Screenshot%20from%202017-09-04%2010-34-02.png -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1714810 Title: gnome-terminal shrinks window to nothing To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1714810/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
