style.css (2652B)
1 html { 2 overflow-y: scroll; 3 } 4 body { 5 background-color: #000084; 6 color: #bbb; 7 font-size: 1.0em; 8 line-height: 1.3; 9 font-family: monospace; 10 font-variant-ligatures: none; 11 margin: 0; 12 padding: 0; 13 } 14 /* HTML5 semantic tags: some (older) browsers display this inline by default */ 15 article, figcaption, figure, header, main, nav { 16 display: block; 17 } 18 article { 19 margin: 5px; 20 } 21 footer { 22 margin: 20px; 23 text-align: center; 24 } 25 table, img { 26 border: 0; 27 } 28 hr { 29 border: 0; 30 border-bottom: 3px solid #aaa; 31 height: 3px; 32 } 33 h1 { 34 text-align: center; 35 margin-top: 3em; 36 font-size: 100%; 37 font-weight: bold; 38 text-transform: uppercase; 39 color: #fff; 40 } 41 h2 { 42 text-transform: uppercase; 43 margin-top: 2em; 44 font-size: 100%; 45 font-weight: bold; 46 color: #fff; 47 } 48 h3 { 49 margin-top: 2em; 50 font-size: 100%; 51 font-weight: bold; 52 } 53 p { 54 /* text-align: justify; */ 55 /* text-justify: inter-word; */ 56 } 57 h1, 58 h1 a, 59 h1 a:visited, 60 h2, 61 h2 a, 62 h2 a:visited, 63 h3, 64 h3 a, 65 h3 a:visited, 66 h1 a:hover, 67 h2 a:hover, 68 h3 a:hover { 69 color: inherit; 70 text-decoration: none; 71 } 72 table tr td { 73 padding: 2px 10px 2px 0px; 74 } 75 pre { 76 margin: 0; 77 } 78 code { 79 color: #000; 80 background-color: #aaa; 81 border: 3px solid #aaa; 82 display: block; 83 overflow-x: auto; 84 padding: 5px; 85 word-wrap: normal; 86 } 87 li { 88 margin: 0.5em 0; 89 } 90 .welcome { 91 white-space: pre; 92 color: #5f5; 93 } 94 .btn { 95 display: incline-block; 96 text-align: center; 97 vertical-align: middle; 98 box-shadow: 5px 5px 0 #000; 99 border-radius: 4px; 100 background: #aaa; 101 color: #000; 102 padding: 2px 5px 2px 5px; 103 } 104 .btn:active, 105 .btn.active { 106 background-color: #aaa !important; 107 position: relative; 108 top: 2px; 109 left: 2px; 110 box-shadow: 3px 3px 0 #000; 111 } 112 .btn:hover, 113 .btn.hover { 114 /* background-color: #fff; */ 115 } 116 #title { 117 background-color: #707; 118 padding: 1ex 10px; 119 font-size: 1.0em; 120 line-height: 1.3; 121 font-family: monospace; 122 border-bottom: 0px solid #aaa; 123 width: 100%; 124 } 125 #menu { 126 background-color: #909; 127 width: 100%; 128 } 129 #menu td { 130 padding: 2px 10px 5px 5px; 131 line-height: 2.0; 132 /* padding: 1ex 10px 10px 1ex; */ 133 } 134 #menuwrap, 135 #menu, 136 #main { 137 margin: 0px auto; 138 max-width: 100ex; 139 } 140 #menu a { 141 font-weight: bold; 142 vertical-align: middle; 143 text-decoration: none; 144 } 145 #main { 146 border-top: 0px solid #aaa; 147 } 148 a { 149 color: #bbb; 150 } .hidden { 151 display: none; 152 } 153 .mediaframe { 154 max-width: 300px; 155 max-height: 200px; 156 border: 0; 157 } 158 video[poster] { 159 width: 100%; 160 height: 100%; 161 } 162 figure { 163 margin-top: 2em; 164 margin-bottom: 2em; 165 margin-left: 40px; 166 margin-right: 40px; 167 max-width: 80%; 168 } 169 .pagefigure { 170 text-align: center; 171 margin-left: auto; 172 margin-right: auto; 173 } 174 .pageimg { 175 border: 2px solid #aaa; 176 max-width: 100%; 177 } 178 .alignright { 179 text-align: right; 180 vertical-align: bottom; 181 }