Update wiki theme.
    
     - Make userlinks 10px of padding all around. As it was previously.
       Using 5px on top makes to loose the visual relation that exists
       between userlinks and logo image, horizontally.