--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/rst-single.css Mon Feb 22 13:12:06 2016 +0200
@@ -0,0 +1,10 @@
+.document {
+ max-width: 800px;
+ margin: .5em auto;
+}
+@media (max-width: 780px) {
+ .document {
+ margin: 5px 10px 1em 10px;
+ padding: 0;
+ }
+}