Revise the css affecting docbook