#
# Define the color of html pages.
#
body-bg="#ffffff"
body-fg="#000000"
body-link="#525D76"
banner-bg="#525D76"
banner-fg="#ffffff"
sub-banner-bg="#828DA6"
sub-banner-fg="#ffffff"
table-th-bg="#039acc"
table-td-bg="#a0ddf0"
source-color="#023264"