3 * Everything besides the menu.
9 @include min-screen($W_BOOK_TEXT_MAX) {
10 justify-content: center;
13 @include min-screen($S_MENU) {
15 @include size(margin-left, $W_MENU);
29 * This is where the text lives
30 * together with line numbers, themes and stuff.
33 @mixin left-without-numbers {
34 @include size(padding-left, $W_NONUMBERS_TINY);
35 @include min-screen($S_NONUMBERS_TINY_MAX) {
36 @include size(padding-left, $W_NONUMBERS);
40 @mixin right-without-themes {
41 @include size(padding-right, $W_NOTHEMES_TINY);
42 @include min-screen($S_NOTHEMES_TINY_MAX) {
43 @include size(padding-right, $W_NOTHEMES_SMALL);
45 @include min-screen($S_NOTHEMES_SMALL_MAX) {
46 @include size(padding-right, $W_NOTHEMES);
50 #main-text, #other-text {
51 @include left-without-numbers;
52 @include right-without-themes;
53 @include size(min-width, $W_BOOK_TEXT_MIN);
55 /* make room for line numbers */
56 @include min-screen($S_NUMBERS) {
57 @include size(padding-left, $W_NUMBERS);
60 /* make room for themes */
61 @include min-screen($S_THEMES) {
62 @include size(padding-right, $W_THEMES);
66 .always-hide-line-numbers {
67 /* Cancel making room for line numbers. */
68 #main-text, #other-text {
69 @include left-without-numbers;
73 @include min-screen($S_THEMES) {
75 /* Cancel making room for themes. */
76 #main-text, #other-text {
77 @include right-without-themes;
83 #main-text, #other-text {
84 @include right-without-themes;
86 @include min-screen($S_THEMES_WOTHER) {
87 @include size(padding-right, $W_THEMES);
97 @include size(max-width, $W_BOOK_TEXT_MAX);
98 @include size(margin, 20px auto);
102 @include min-screen($S_SMALL_TEXT_MAX) {
113 @include min-screen($S_SMALL_TEXT_MAX_WOTHER) {