consolidated 'pddp' lib stuff into a single place to make a libdir, ease Debian packaging, and remove the pddpserver

svn path=/trunk/externals/pddp/; revision=13424

1 files changed, 18 insertions, 0 deletions

diff --git a/examples/pddp.css b/examples/pddp.css
new file mode 100644
index 0000000..40042d1
--- /dev/null
+++ b/examples/pddp.css
@@ -0,0 +1,18 @@
+body {
+  color: brown ;
+  background: gray url(test.bg.jpg) ;
+  margin-top: 10 ;
+  font-family: Helvetica, sans-serif ;
+  font-size: larger ;
+}
+
+pre.programlisting {
+  display: table ;
+  background-color: #EEEEEE ;
+  padding: 2pt ;
+  border-style: solid ;
+  border-width: 1pt ;
+  border-color: #000000 ;
+  border-spacing: 3pt ;
+  margin: 3pt ;
+}