1 files changed, 4 insertions, 0 deletions
diff --git a/tools/user_guide.css b/tools/user_guide.css
new file mode 100644
index 0000000..24ea088
--- /dev/null
+++ b/tools/user_guide.css
@@ -0,0 +1,4 @@
+pre.programlisting, pre.screen {
+background-color : #e0e0e0;
+padding : 0.2cm;
+}