resize grabber to 8x8px
This commit is contained in:
parent
43dbb07f11
commit
edb6a7fe4c
|
@ -1496,8 +1496,8 @@ div.headlines_cdm {
|
||||||
border-style : dotted;
|
border-style : dotted;
|
||||||
border-color : #88b0f0;
|
border-color : #88b0f0;
|
||||||
background-color : white;
|
background-color : white;
|
||||||
width : 10px;
|
width : 8px;
|
||||||
height : 10px;
|
height : 8px;
|
||||||
z-index : 20;
|
z-index : 20;
|
||||||
right : 10px;
|
right : 10px;
|
||||||
top : 20px;
|
top : 20px;
|
||||||
|
|
|
@ -394,7 +394,7 @@ function resize_headlines(delta_x, delta_y) {
|
||||||
c_frame.style.top = (h_frame.offsetTop + h_frame.offsetHeight + 1) + "px";
|
c_frame.style.top = (h_frame.offsetTop + h_frame.offsetHeight + 1) + "px";
|
||||||
h_frame.style.height = h_frame.offsetHeight + "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";
|
resize_grab.style.display = "block";
|
||||||
|
|
||||||
} else {
|
} else {
|
||||||
|
|
Loading…
Reference in New Issue