/* $Id: dox.css,v 1.1.1.5 2016/02/09 07:13:42 joerg_wunsch Exp $ */
BODY {
    background-color: #feffe2
}