This repository has been archived on 2026-01-16. You can view files and clone it, but you cannot make any changes to its state, such as pushing and creating new issues, pull requests or comments.
zukitwo/firefox_tooltip.patch
2015-04-02 07:45:54 +01:00

12 lines
334 B
Diff

--- a/Zukitwo/gtk-3.0/gtk-widgets.css 2014-10-22 09:04:18.000000000 +0100
+++ b/Zukitwo/gtk-3.0/gtk-widgets.css 2015-04-01 13:52:00.725895000 +0100
@@ -134,7 +134,8 @@ GtkTextView {
/************
* Tooltips *
************/
-.tooltip {
+.tooltip,
+.tooltip.background {
padding: 4px;
border-style: solid;
border-width: 1px;