nav is slightly irritating about website

[eed3si9n]

I've used pamflet (http://pamflet.databinder.net/Pamflet.html) in various docs, and haven't heard of this complaint, so I'm curious to learn more about your situation. I'm skeptical if making only ">" is going to improve the usability. What are you typically mousing around? Do you tend to go back by mistake? (or forward, or both?) Would making the clickable region light gray help you not to click on them? I think it already changes color to gray when you hover.

In the original pamflet, div.container is hardcoded to 710px. For sbt documentation, I thought the margin takes up too much space on larger monitors (I use 2560x1440 monitor, so I'm guessing my typical browser window is 1000x1200), so I changed in css (

website/src/reference/custom.css

Line 79 in 2191048

width: 70%;

) so it's 70%. When you say "reasonably-sized browser window", what exactly is the dimension you're talking about on what type of device? Would changing this to 80% improve the ux for you?

[jsuereth]

For me, it's frustrating when I'm tabbing back into the browser and it clicks the dang left or right button.

Instead of hardcoding the %, what about limiting the pixel-size of the navigation?

[eed3si9n]

@jsuereth On Mac, Cmd-` changes focus to the next window within the same application. Not sure about Ubuntu.

Fixed-pixel-width left/right margin could be answer if it's actually possible to implement that way.

[tpolecat]

Ha, yeah same issue looking at your Scalaz series @eed3si9n, so at least I'm consistent in my unusual mousing skills.

So, I keep my browser windows about 1000px wide as you say, or however wide they need to be to have 1cm of whitespace on either side of the text. After watching my behavior for a day I think the issue is that by habit I scroll by pushing the page around in the empty margin to avoid clicking things inadvertently.

Anyway I like the idea of just making a pixel limit for the hot zone, if that's possible. This is obviously not a big deal, I just figured others might have a similar reaction.

[dwijnand]

👍 I'm constantly having to go back in the browser after randomly switching pages by mistake..

[eed3si9n]

At some point I got rid of the page nav.