--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/help/client/_static/extra-style.css	Mon Sep 22 13:02:11 2014 +0200
@@ -0,0 +1,30 @@
+.figure img {
+    border: 1px solid lightgrey;
+    margin-bottom: 10px;
+    padding: 4px;
+}
+.figure .caption {
+    margin-top: 0px;
+    margin-bottom: 20px;
+}
+tt {
+    font-size: 1.1em;
+    background-color: transparent;
+}
+#pageheader img {
+    float: left;
+    margin-right: 10px;
+}
+#pageheader h1 {
+    margin: 5px;
+    padding: 15px;
+}
+#breadcrumbs {
+    display: none;
+}
+.related.top #rellinks {
+    margin-top: -25px;
+}
+#pagefooter {
+    padding-bottom: 0 !important;
+}