path: root/tools/user_guide.css

pre.programlisting, pre.screen {
background-color : #e0e0e0;
padding : 0.2cm;
}