added css for docbook documentation html output.