Re: Godbolt CSS suggestion (fix scrolling when maximized)

4 views
Skip to first unread message

Matt Godbolt

unread,
Jan 30, 2020, 11:50:35 AM1/30/20
to Andy V., compiler-explo...@googlegroups.com
HI Andy! (And CCing the other developers)

Sounds great: thanks for the lovely email and we'll look to work in this fix!

Cheers, Matt

On Sat, Jan 25, 2020 at 7:02 AM Andy V. <fun...@gmail.com> wrote:
Hi, when I maximize the browser window, I can move my cursor all the
way to the right of the screen and click the scroll bar to scroll. In
Godbolt this does not work as expected because the mouseclick hits the
border of parent div lm_content.

I propose appending to the stylesheet the following two lines:

.lm_content{border-right:none;} /* fix scroll */
.top-bar.btn-toolbar.bg-light{border-right: 1px solid #ccc;} /* keep looks */

Hope this helps! Cheers
Andy

ps. Godbolt is super cool thanks for your work!


--
Matt
Reply all
Reply to author
Forward
0 new messages