73

#!/bin/bash

_cmd="gnome-terminal"
_terminal="usr/libexec/gnome-terminal"

_current_workspace=$(wmctrl -d | grep -Po "^[\d]+(?=  \*)")
_windows=$(wmctrl -lp | awk '{ if ($2 == cws)  print $1,$3 }' cws="${_current_workspace}" )
_active_win=$(xprop -root _NET_ACTIVE_WINDOW | sed 's/.* //')
  
echo "${_windows}" | while read _window 

73

/* GTK 3.20 .config/gtk-3.0/gtk.css  */
headerbar {
    min-height: 0px;
    padding-left: 5px; /* same as childrens vertical margins for nicer proportions */
    padding-right: 4px;
}

/*headerbar entry,
headerbar spinbutton,
headerbar button,

73

div#mw-navigation {
	max-width: 10px !important;
}
div#mw-navigation:hover {
	width: 200px;
}
div#bodyContent,
div#content h1#firstHeading {
	max-width: 700px;
	margin-left: auto;