3 ms·

And you just can't hide it.

• echion 10y ago
  Speaking of UX and hiding, you can hide the menu bar, so you don't have to lose control unless you like it: echo "jQuery('#header-container').hide();" >> ~/.jupyter/custom/custom.js
  • krick 10y ago
    Wow, that's awesome. Didn't know I can do custom tweaking with Jupyter.
    • mynewtb 10y ago
      It's YOUR browser, for heaven's sake!
• hyperbovine 10y ago
  It's a shame that humorous comments are so consistently downvoted here. Are we all supposed to be post-laughter now or something?
  • pekk 10y ago
    Low-content jokes never did particularly well on HN. Like it or loathe it, it's been a cultural feature here for years.
    • hyperbovine 10y ago
      I don't remember it being this bad maybe ~8 years ago.
  • lsh 10y ago
    yeah, the HN commenter majority are stuffy and humourless but quick on the downvote. just leave them to their playground.
    • matt4077 10y ago
      It has nothing to do with that. The fear is not what's added, but what's removed. Experience tells us that jokes will quickly dominate the top of threads, leading to a loss for serious comments. Sure, there's enough room for as many comments as you like in a thread, but only the top x actually get read, usually. FWIW, I thought the comment was pretty funny, and the first answer was even better.