+++ /dev/null
-/*
- * #big-pane
- * Everything besides the menu.
- */
-@include min-screen(640px) {
- #big-pane {
- margin-left: 80px;
- }
- .menu-hidden {
- #big-pane {
- margin-left: 0;
- }
- }
-}
-
-
-
-/*
- * #main-text
- *
- * This is where the text lives
- * together with line numbers, themes and stuff.
- */
-
-@mixin left-without-numbers {
- padding-left: 20px;
- @include min-screen(240px) {
- padding-left: 30px;
- }
-}
-
-@mixin right-without-themes {
- padding-right: 20px;
- @include min-screen(240px) {
- padding-right: 30px;
- }
- @include min-screen(320px) {
- padding-right: 44px;
- }
-}
-
-#main-text {
- @include left-without-numbers;
- @include right-without-themes;
-
- /* make room for line numbers */
- @include min-screen(320px) {
- padding-left: 50px;
- }
-
- /* make room for themes */
- @include min-screen(600px) {
- padding-right: 160px;
- }
-}
-
-.always-hide-line-numbers {
- /* Cancel making room for line numbers. */
- #main-text {
- @include left-without-numbers;
- }
-}
-
-.always-hide-themes {
- /* Cancel making room for themes. */
- #main-text {
- @include right-without-themes;
- }
-}
-
-
-
-
-
-
-
-#book-text {
- max-width: 600px;
- margin: 20px auto;
-
- h1 {
- margin-top: 0px;
- }
-}