Fixing issue in geoserver docs conf.py, updating theme a little