resize grabber to 8x8px

diff --git a/tt-rss.css b/tt-rss.css
index fa255a4268abfa1286be0a502c44acb4e0502a2e..5be6c5c0ae723d16121fa4888b1cefadf7b562ed 100644 (file)
--- a/tt-rss.css
+++ b/tt-rss.css
@@ -1496,8 +1496,8 @@ div.headlines_cdm {
        border-style : dotted;
        border-color : #88b0f0;
        background-color : white;
-       width : 10px;
-       height : 10px;
+       width : 8px;
+       height : 8px;
        z-index : 20;
        right : 10px;
        top : 20px;

diff --git a/tt-rss.js b/tt-rss.js
index 1b037004db971a11306c7eceb79bd0fbecc143c1..b8ee2bb14bd1673ec914c7498b86aa90aaa1448b 100644 (file)
--- a/tt-rss.js
+++ b/tt-rss.js
@@ -394,7 +394,7 @@ function resize_headlines(delta_x, delta_y) {
                        c_frame.style.top = (h_frame.offsetTop + h_frame.offsetHeight + 1) + "px";
                        h_frame.style.height = h_frame.offsetHeight + "px";
 
-                       resize_grab.style.top = (h_frame.offsetTop + h_frame.offsetHeight - 5) + "px";
+                       resize_grab.style.top = (h_frame.offsetTop + h_frame.offsetHeight - 4) + "px";
                        resize_grab.style.display = "block";
 
                } else {