part09.rs lines shortened

[rust-101.git] / docs / pycco_custom.css

diff --git a/docs/pycco_custom.css b/docs/pycco_custom.css
index 28333e530d2ecd8469f428ce4337bc4168d27a13..b191649036b78b405b84eb6d5701f5cf988d2718 100644 (file)
--- a/docs/pycco_custom.css
+++ b/docs/pycco_custom.css
@@ -12,11 +12,40 @@
 
 /*--------------------- 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,31 @@ 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;

+        background: #EEEEEE;
+        border-top: #BBBBBB 1px solid;
+        border-bottom: #BBBBBB 1px solid;

     }
 }
 
     }
 }