d5b55d Update wiki theme.

Authored and Committed by areguera 11 years ago
    Update wiki theme.
    
     - Fix userlinks position on top. Make it 5px top and bottom; and 10px
       left and right.