                             padding: .5rem;
                         }
                         @media print {
-                          body { width: 100%; margin: 1rem .2rem; font-size: 12pt; }
+                          body { width: 100%; margin: 1rem 1rem 1rem 6rem; font-size: 12pt; }
                         }
                         pre { margin: 0; }
                         div.output + pre.input { margin-top: 1rem; }

                            line-height: 1.5;
                        }
                        div.output img {
                            display: block;
                            max-width: 70%;
                            width: auto;
                            height: auto;

                            font-family: monospace;
                        }
                        */
                        div.header { margin-bottom: 1rem; }
                        footer {
                            margin-top: 1rem;
                            border-top: .1rem solid #888;
