--- /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;
+ }
+}