add padding to gnome terminal

92
/* Edit this file or create it if it does not exist ~/.config/gtk-3.0/gtk.css */

VteTerminal,
TerminalScreen,
vte-terminal {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

/* restart gnome-terminal */

Comments

Submit
0 Comments

More Questions

css reset stylefont size css how to make text bold in css
google font robotomedia queries w3schools css bold text
media query min and maxboxshadow in css css flex center
css cursor pointerhow to do a background blur in css css center image
text overflow ellipsis csscss box-shadow shorthand phone media query css
jquery add csscss all caps media query for mobile view css
Understanding ~ sign in css selectorare you sure you want to delete html on hover display another div css
css ios disable zoomnth-child(2n+1) bootstrap-navbar-brand
css text truncate 2 linesfira code how to make background more darker with css
hr csscss dot dot dot how to use gradient as text color
css dashed double bordercss select labels for checked checkbox css select without class
JavaScript find common characters between the stringsremove outline of input css no select css
css hover but no clickhow to disable keyboard in windows 10 elemento SPAN
how to draw hex colun in html cssnot focus css How to create collapsable using pure Javascript
css battle tesseractbootstrap badges css highlight element
change image color csshow to curve button in html wordpress how to change logo on a certain page with css
C
CSS
Objective-C
PHP
Java
C++
Javascript
Html
Python
SQL
Swift
Ruby
Go
R
TypeScript
Kotlin
Assembly
VBA
Scala
Rust
Elixir
Dart
Haskell
Perl
Fortran
Matlab
Scheme
Julia
Lua
Delphi
Pascal
Solidity
BASIC
ActionScript
Csharp