main.css (2023B)
1 h1 { 2 background: #040; 3 float: left; 4 margin: 0; 5 margin-right: 0.3em; 6 font-size: 100%; 7 padding: 0.2em; 8 } 9 10 #lang { 11 float: right; 12 padding: 0.2em; 13 margin: 0; 14 margin-left: 0.3em; 15 } 16 17 #body { 18 margin-top: 1em; 19 padding-left: 0.5em; 20 padding-right: 0.5em; 21 } 22 23 header a, .headlink { 24 color: white; 25 text-decoration: none; 26 } 27 28 header { 29 background: black; 30 overflow: auto; 31 color: white; 32 width: 100%; 33 } 34 35 .headlink a { 36 color: #0c0; 37 } 38 39 body { 40 margin: 0; 41 padding: 0; 42 } 43 44 .help { 45 vertical-align: super; 46 } 47 48 dt { 49 font-weight: bold; 50 } 51 52 #lcontainer { 53 width: 42%; 54 float: left; 55 } 56 57 #cerrors li { 58 cursor: pointer; 59 background: #fdd; 60 padding: 1em; 61 margin-bottom: 1em; 62 overflow: auto; 63 border: 2px outset red; 64 min-height: 3em; 65 } 66 67 #cerrors li:hover { 68 background: #fee; 69 border: 2px outset #faa; 70 } 71 72 #cerrors li p { 73 margin: 0; 74 color: #a00; 75 font-weight: bold; 76 } 77 78 #cerrors li blockquote { 79 padding: 0; 80 font-style: italic; 81 margin-left: 0; 82 } 83 84 #cerrors { 85 margin-top: 0; 86 overflow: auto; 87 height: 90vh; 88 width: 55%; 89 float: right; 90 } 91 92 #errors { 93 list-style-type: none; 94 padding: 0; 95 } 96 97 #poem { 98 min-height: 8em; 99 /* http://stackoverflow.com/a/4156343 */ 100 width: 100%; 101 -webkit-box-sizing: border-box; 102 -moz-box-sizing: border-box; 103 box-sizing: border-box; 104 } 105 106 #predef { 107 width: 100%; 108 /* http://stackoverflow.com/a/4156343 */ 109 -webkit-box-sizing: border-box; 110 -moz-box-sizing: border-box; 111 box-sizing: border-box; 112 } 113 114 .doclink { 115 font-size: 80%; 116 } 117 118 #user_template { 119 /* http://stackoverflow.com/a/4156343 */ 120 -webkit-box-sizing: border-box; 121 -moz-box-sizing: border-box; 122 box-sizing: border-box; 123 height: 10vh; 124 min-height: 6em; 125 } 126 127 #check { 128 float: right; 129 } 130 131 .error { 132 display: block; 133 background: #fdd; 134 padding: 0.5em; 135 border: 1px solid red; 136 } 137 138 .success { 139 display: block; 140 background: #dfd; 141 padding: 0.5em; 142 border: 1px solid green; 143 } 144 145 #status { 146 display: block; 147 width: 100%; 148 overflow: auto; 149 margin-top: 0; 150 } 151 152 p { 153 /* reset */ 154 margin: 1em 0; 155 }