From 983d427fd8ae946f2ce9df230c28ded7c0382f37 Mon Sep 17 00:00:00 2001 From: Konrad Rosenbaum Date: Sun, 22 Jun 2014 12:58:28 +0200 Subject: [PATCH] make docu a bit prettier --- doc/style.css | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) create mode 100644 doc/style.css diff --git a/doc/style.css b/doc/style.css new file mode 100644 index 0000000..31566e2 --- /dev/null +++ b/doc/style.css @@ -0,0 +1,6 @@ +pre { + background-color: #ddd ; + border-style: dashed ; + border-width: 1px ; + padding: 4px ; +} \ No newline at end of file -- 1.7.2.5