Make link number style more robust

Use bold, small font, white background, 1 line high and displayed.

Mark attributes with !important to ensure the style is not
changed due to styling on the page.

diff --git a/midori/midori-view.c b/midori/midori-view.c
index 415ef3c6a17b195009bcd87164bdf3f39fa4ff2e..10efb34a820e8e73d19d0e6f860653522230b735 100644 (file)
--- a/midori/midori-view.c
+++ b/midori/midori-view.c
@@ -1814,9 +1814,11 @@ gtk_widget_key_press_event_cb (WebKitWebView* web_view,
                 " document.styleSheets[0].insertRule (aSelector + ' ' + aRule);"
                 " } )"
                 " ('.midoriHKD87346', '{ "
-                " z-index:500; font-size:x-small; -webkit-border-radius:0.3em;"
-                " background-color:white; border:1px solid gray; color: black;"
-                " padding:0 0.1em; position:absolute; }');"
+                " font-size:small !important; font-weight:bold !important;"
+                " z-index:500; border-radius:0.3em; line-height:1 !important;"
+                " background: white !important; color: black !important;"
+                " border:1px solid gray; padding:0 0.1em !important;"
+                " position:absolute; display:inline !important; }');"
                 "var links = document.getElementsByTagName ('a');"
                 "for (i in links) {"
                 "  var child = document.createElement ('span');"