/*
    CSS file for pydoc.
    Contents of this file are subject to change without notice.
*/