SHARE
TWEET

Untitled

a guest Jun 27th, 2019 63 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. -UnityDecoration-extents: 28px 0 0 0;
  2.      
  3. -UnityDecoration-extents: 28px 2 2 2;
  4.      
  5. @define-color terminal_border #ff0000;
  6.  
  7. vte-terminal.terminal-screen {
  8.     -TerminalScreen-background-darkness: 0.95;
  9.     background-color: @terminal_bg;
  10.     color: #fff;
  11.     border-width: 1px 1px 0px 1px;
  12.     border-color: @terminal_border;
  13. }
  14.      
  15. TerminalScreen {
  16.     background-color: @theme_base_color;
  17.     color: @theme_fg_color;
  18.     -TerminalScreen-background-darkness: 0.95;
  19.     border-bottom-width: 2px;
  20.     border-right-width: 2px;
  21.     border-left-width: 2px;
  22. }
  23.  
  24. TerminalWindow GtkNotebook.notebook {
  25.     border-bottom-width: 2px;
  26.     border-right-width: 2px;
  27.     border-left-width: 2px;
  28. }
  29.      
  30. alternatives.log:update-alternatives 2017-11-12 10:59:31:
  31. run with --install /usr/share/gnome-shell/theme/gdm3.css gdm3.css
  32.     /usr/share/gnome-shell/theme/ubuntu.css 10
  33.     alternatives.log:update-alternatives 2017-11-12 10:59:31:
  34.     link group gdm3.css updated to point to
  35.     /usr/share/gnome-shell/theme/ubuntu.css
  36.      
  37. decoration {
  38.   border: 1px solid gray;
  39.   background: gray;
  40. }
  41.      
  42. terminal-window notebook {
  43.   border-width: 0px 1px 1px 1px;
  44.   border-style: solid;
  45.   border-color: grey;
  46. }
  47.  
  48.   terminal-window.maximized notebook,
  49.   terminal-window.fullscreen notebook {
  50.   border-style: none;
  51. }
  52.      
  53. decoration {
  54.   border: 1px solid rgba(60,60,60,0.5);
  55. }
  56.      
  57. /* for emacs */
  58. window > box  {
  59.   border-style: solid;
  60.   border-color: rgba(0,0,0,0.75);
  61.   border-width: 0 1px 1px 1px;
  62. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top