Wow, that's exactly what I'm looking for!
Thank you very much.
However, if you're not logged in, you always see "display the source of the page".
I managed to hide it with :
#dokuwiki__pagetools ul li.source a {
visibility: hidden;
}
but it doesn't look very pretty, there's a gap above "up."
ps: I use the dokuwiki theme by default.