Merge pull request #9 from rwz/patch-1
[rust-101.git] / docs / pycco_custom.css
index 28333e530d2ecd8469f428ce4337bc4168d27a13..6957afc0589cbc9ebe17639e9ed9c11394677c1b 100644 (file)
 
 /*--------------------- Layout ----------------------------*/
 body {
 
 /*--------------------- Layout ----------------------------*/
 body {
-  font-family: 'aller-light', sans-serif;
+    font-family: 'aller-light', sans-serif;
+    position: relative;
+    display: inline-block;
+    min-height: 100%;
+    min-width: 100%;
 }
 
 h1, h2, h3, h4, h5, h6 {
 }
 
 h1, h2, h3, h4, h5, h6 {
-  line-height: 1.1em;
+    line-height: 1.1em;
+}
+
+div.docs {
+    max-width: 580px;
+    padding-left: 35px;
+}
+#background {
+    position: absolute;
+    height: 100%;
+    left: 640px;
+}
+div.code {
+    margin-left: 640px;
+}
+
+
+h1, h2, h3, h4, h5, h6 {
+    margin-top: 20px;
+}
+div.docs p {
+    margin-bottom: 5px;
+}
+div.code {
+    padding-top: 5px;
+    padding-bottom: 3px;
 }
 
 @media print {
 }
 
 @media print {
@@ -24,22 +53,34 @@ h1, h2, h3, h4, h5, h6 {
         background: none;
         border: none;
     }
         background: none;
         border: none;
     }
-    h1, h2, h3, h4, h5, h6 {
-        margin-top: 20px;
-    }
     div.docs {
         max-width: 99%;
         padding-left: 0px;
         padding-right: 0px;
     }
     div.docs {
         max-width: 99%;
         padding-left: 0px;
         padding-right: 0px;
     }
-    div.docs p {
-        margin-bottom: 5px;
+    div.code {
+        margin: 0px;
+        clear: both;
+    }
+}
+
+@media screen and (max-width:1200px) {
+    #background {
+        background: none;
+        border: none;
+    }
+    div.docs {
+        max-width: 99%;
     }
     div.code {
         margin: 0px;
     }
     div.code {
         margin: 0px;
-        padding-top: 2px;
-        padding-bottom: 5px;
         clear: both;
         clear: both;
+        /*
+          This *would* be nice, but there are empty code blocks in the generated HTML :-/
+          background: #EEEEEE;
+          border-top: #BBBBBB 1px solid;
+          border-bottom: #BBBBBB 1px solid;
+        */
     }
 }
 
     }
 }