deploy: 552e37fedc

css/print.css

@@ -0,0 +1,109 @@
+#body #navigation {
+    display: none;
+}
+html,
+body #body{
+    font-size: 8.9pt;
+}
+pre code {
+    font-size: 8.3pt;
+}
+#body .padding {
+    /* remove page padding - this can be set exactly in the print setup */
+    padding: 0;
+}
+code.copy-to-clipboard-inline {
+    border-bottom-right-radius: 2px;
+    border-top-right-radius: 2px;
+    border-right-width: 1px;
+}
+pre {
+    border: 1px solid #ccc;
+}
+#body #top-bar{
+    background-color: #fff; /* avoid background bleeding*/
+    border-bottom: 1px solid #ddd;
+    border-radius: 0;
+    padding-left: 0; /* for print, we want to align with the footer to ease the layout */
+    color: #777;
+}
+#top-github-link {
+    /* we don't need this while printing */
+    display: none;
+}
+#body #breadcrumbs {
+    width: 100%;
+}
+#body #breadcrumbs .links {
+    overflow-x: hidden;
+}
+.copy-to-clipboard {
+    display: none;
+}
+
+#body h1, #body h2, #body h3, #body h4, #body h5, #body h6 {
+    /* better contrast for colored elements */
+    color: black !important;
+}
+#body th, #body td,
+#body code, #body strong, #body b,
+#body li, #body dd, #body dt,
+#body p,
+#body .anchor,
+#body a {
+    /* better contrast for colored elements */
+    color: black;
+}
+
+.progress {
+    /* we don't need this while printing */
+    display: none !important;
+}
+hr{
+    border-bottom: 1px solid #ddd;
+}
+#chapter h1 {
+    border-bottom: 1px solid #ddd;
+}
+.footline {
+    /* in print mode show footer line to signal reader the end of document */
+    border-top: 1px solid #ddd;
+    color: #777;
+    margin-top: 1.5rem;
+    padding-top: .75rem;
+}
+#body #body-inner a {
+    /* in print we want to distinguish links in our content from
+    normal text even if printed black/white;
+    don't use a.highlight in selector to also get links that are
+    put as HTML into markdown */
+    text-decoration-line: underline;
+}
+#toc-menu {
+    /* we don't need this while printing */
+    display: none;
+}
+#sidebar-toggle-span {
+    /* we don't need this while printing */
+    display: none;
+}
+#breadcrumbs .links {
+    display: inline;
+}
+#top-bar{
+    /* the header is sticky which is not suitable for print; */
+    position: inherit; /* IE11 doesn't know "initial" here */
+}
+#top-bar.is-sticky {
+    box-shadow: initial;
+}
+#body .tab-nav-button:not(.active) {
+    opacity: .5;
+}
+#head-tags {
+    display: none;
+}
+mark {
+    background: inherit;
+    color: inherit;
+}