I've changed a bit of styling for the Vivaldi web browser to make the interface a bit smaller and focussed around the tab bar.
To find out how to apply these styles, please read the first post on the Vivaldi forum.
Regards,
Bas Dalenoord
function applyCss(css){ | |
var head = document.getElementsByTagName("head")[0]; | |
var s = document.createElement("style"); | |
s.setAttribute("type", "text/css"); | |
s.appendChild(document.createTextNode(css)); | |
head.appendChild(s); | |
} | |
// https://raw.githubusercontent.com/leggett/simplify/master/gmail/style.css | |
applyCss(` |
I've changed a bit of styling for the Vivaldi web browser to make the interface a bit smaller and focussed around the tab bar.
To find out how to apply these styles, please read the first post on the Vivaldi forum.
Regards,
Bas Dalenoord
/* Move the red Vivaldi button to the right of the tab bar */ | |
.linux .vivaldi, | |
.win .vivaldi | |
{ | |
left: auto; | |
right: 0; | |
height: 30px; | |
} | |
/* Change tab size, make them smaller */ |
/** | |
* Smaller tab bar | |
* | |
* Original by Adrian Unger (staydecent): https://gist.github.com/staydecent/9260095 | |
* Modified by Bas Dalenoord (bdalenoord): https://gist.github.com/bdalenoord/8566f832ef2560374d58dec81580e749 | |
* | |
* Modifications include: smaller top margin, small active block, less overall height. | |
* Tested with Atom 1.7.0 | |
* | |
* Installation: |
location ^~ /.well-known/ { | |
allow all; | |
default_type application/jose+json; | |
} |
I've been bugged by the ugly icon for Skype ever since I started using it. This bothering was especially caused by the fact that I don't even use the Skype interface because I use the skype4pidgin plugin to use my Skype.
Most common window managers/panel applications have the option to hide icons from the system tray, but openbox/tint2 doesn't (at least for as far as I am concerned). I learned about xdotool and found an interesting section in the man pages. Using this information I've found a possibility to hide Skype. More about the tricks I used will be explained below.
xdotool has got some excellent commands to get information about the windows that your window manager is serving. It can also manipulate these windows, by for instance resizing them. The manipulation action that was used in my solution is 'windowunmap', which u