]> git.proxmox.com Git - rustc.git/blobdiff - src/vendor/mdbook/src/theme/stylus/theme-popup.styl
New upstream version 1.20.0+dfsg1
[rustc.git] / src / vendor / mdbook / src / theme / stylus / theme-popup.styl
index dbd0d430d83d49b84114554bb71be0eb9a9fe8ac..fadef8db8479dc33fff15ee6e5a2723ee928111b 100644 (file)
@@ -1,56 +1,56 @@
-.theme-popup {
-    position: relative
-    left: 10px
-
-    z-index: 1000;
-
-    border-radius: 4px
-    font-size: 0.7em
-
-    .theme {
-        margin: 0
-        padding: 2px 10px
-        line-height: 25px
-        white-space: nowrap
-
-        &:hover:first-child,
-        &:hover:last-child {
-            border-top-left-radius: inherit;
-            border-top-right-radius: inherit;
-        }
-    }
-
-}
-
-@media only screen and (max-width: 1250px) {
-
-    .nav-chapters {
-        display: none
-    }
-
-    .mobile-nav-chapters {
-        font-size: 2.5em
-        text-align: center
-        text-decoration: none
-
-        max-width: 150px
-        min-width: 90px
-
-        justify-content: center
-        align-content: center
-
-        position: relative
-        display: inline-block
-        margin-bottom: 50px
-
-        border-radius: 5px
-    }
-
-    .next {
-        float: right
-    }
-
-    .previous {
-        float: left
-    }
-}
+.theme-popup {\r
+    position: relative\r
+    left: 10px\r
+\r
+    z-index: 1000;\r
+\r
+    border-radius: 4px\r
+    font-size: 0.7em\r
+\r
+    .theme {\r
+        margin: 0\r
+        padding: 2px 10px\r
+        line-height: 25px\r
+        white-space: nowrap\r
+\r
+        &:hover:first-child,\r
+        &:hover:last-child {\r
+            border-top-left-radius: inherit;\r
+            border-top-right-radius: inherit;\r
+        }\r
+    }\r
+\r
+}\r
+\r
+@media only screen and (max-width: 1250px) {\r
+\r
+    .nav-chapters {\r
+        display: none\r
+    }\r
+\r
+    .mobile-nav-chapters {\r
+        font-size: 2.5em\r
+        text-align: center\r
+        text-decoration: none\r
+\r
+        max-width: 150px\r
+        min-width: 90px\r
+\r
+        justify-content: center\r
+        align-content: center\r
+\r
+        position: relative\r
+        display: inline-block\r
+        margin-bottom: 50px\r
+\r
+        border-radius: 5px\r
+    }\r
+\r
+    .next {\r
+        float: right\r
+    }\r
+\r
+    .previous {\r
+        float: left\r
+    }\r
+}\r