port to python/cgi, lighter theme