Can someone look into this. Seems like everyone gets the userid 111 on diku when POSTing, though the preferences page tells me another userid.

I want to customize the css url since the default one is awful.