remove workspace from the repository, instead generate a zipfile to upload

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

diff --git a/docs/pycco_custom.css b/docs/pycco_custom.css
index 94b70f3bae57509e87734a8c7a6b104c3e2798db..b191649036b78b405b84eb6d5701f5cf988d2718 100644 (file)
--- a/docs/pycco_custom.css
+++ b/docs/pycco_custom.css
@@ -13,6 +13,10 @@
 /*--------------------- Layout ----------------------------*/
 body {
     font-family: 'aller-light', sans-serif;
 /*--------------------- Layout ----------------------------*/
 body {
     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 {


@@ -24,33 +28,56 @@ div.docs {
     padding-left: 35px;
 }
 #background {
     padding-left: 35px;
 }
 #background {

+    position: absolute;
+    height: 100%;

     left: 640px;
 }
 div.code {
     margin-left: 640px;
 }
 
     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 {
     #background {
         background: none;
         border: none;
     }
 @media print {
     #background {
         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;

     }
 }
 
     }
 }