github.com/tiagovtristao/plz@v13.4.0+incompatible/docs/styles.css (about) 1 /* 2 Fonts 3 4 Note that these are commercially licensed, we have bought a licence for them for use on the site 5 but as a result they're not checked into Git. 6 */ 7 @font-face { 8 font-family: 'EssentialPragmataPro-Bold'; 9 src: url('/fonts/31B6AC_0_0.eot'); 10 src: url('/fonts/31B6AC_0_0.eot?#iefix') format('embedded-opentype'), 11 url('/fonts/31B6AC_0_0.woff2') format('woff2'), 12 url('/fonts/31B6AC_0_0.woff') format('woff'), 13 url('/fonts/31B6AC_0_0.ttf') format('truetype'); 14 } 15 16 @font-face { 17 font-family: 'EssentialPragmataPro'; 18 src: url('/fonts/31B6AC_1_0.eot'); 19 src: url('/fonts/31B6AC_1_0.eot?#iefix') format('embedded-opentype'), 20 url('/fonts/31B6AC_1_0.woff2') format('woff2'), 21 url('/fonts/31B6AC_1_0.woff') format('woff'), 22 url('/fonts/31B6AC_1_0.ttf') format('truetype'); 23 } 24 25 @font-face { 26 font-family: 'Calibre'; 27 src: url('/fonts/CalibreWeb-Regular.eot'); 28 url('/fonts/CalibreWeb-Regular.woff2') format('woff2'), 29 url('/fonts/CalibreWeb-Regular.woff') format('woff'); 30 } 31 32 @font-face { 33 font-family: 'Calibre-Bold'; 34 src: url('/fonts/CalibreWeb-Bold.eot'); 35 url('/fonts/CalibreWeb-Bold.woff2') format('woff2'), 36 url('/fonts/CalibreWeb-Bold.woff') format('woff'); 37 } 38 39 @font-face { 40 font-family: 'Calibre-Thin'; 41 src: url('/fonts/CalibreWeb-Thin.eot'); 42 url('/fonts/CalibreWeb-Thin.woff2') format('woff2'), 43 url('/fonts/CalibreWeb-Thin.woff') format('woff'); 44 } 45 46 /* General */ 47 body { 48 background: #202328; 49 color: #999999; 50 font-family: "EssentialPragmataPro", monospace; 51 margin: 0px; 52 } 53 body > div { 54 margin: 0.5em; 55 } 56 a { 57 color: white; 58 text-decoration: none; 59 } 60 .body a:link { 61 color: #00ffff; 62 } 63 .body a:visited { 64 color: #29abe2; 65 } 66 h1, h2, h3, h4 { 67 color: white; 68 font-size: medium; 69 font-family: "Calibre-Thin", sans-serif; 70 } 71 72 .yellow { color: #ffe752; } 73 .turquoise{ color: #02e68f; } 74 .green { color: #96ee05; } 75 .blue { color: #29abe2; } 76 .cyan { color: #00ffff; } 77 .violet { color: #af7dff; } 78 .pink { color: #ff00ff; } 79 .red { color: #fc1452; } 80 .black: { color: #111111; } 81 .darkgrey { color: #242424; } 82 .white { color: #FFFFFF; } 83 84 .experimental { color: #fc1452; } 85 86 .caps { 87 text-transform: uppercase; 88 } 89 pre { 90 border: 1px #02e68f solid; 91 border-radius: 3px; 92 margin-right: -3px; 93 padding: 5px 5px 5px 2px; 94 color: white; 95 } 96 :not(pre) > code { 97 border: 1px #666666 solid; 98 color: white; 99 padding: 2px; 100 border-radius: 3px; 101 white-space: nowrap; 102 } 103 pre.rule { 104 white-space: normal; 105 word-wrap: break-word; 106 word-break: normal; 107 } 108 .optional { 109 font-style: italic; 110 } 111 p, li, td { 112 line-height: 130%; 113 } 114 hr { 115 border-color: #02e68f; 116 margin-top: 10em; 117 } 118 119 /* Body uses flex to split left menu from rest of page */ 120 @media (min-width: 800px) { 121 .above { 122 display: flex; 123 flex-direction: row; 124 } 125 .left { 126 flex: 1 4 25%; 127 } 128 .right { 129 flex: 3 4 75%; 130 } 131 } 132 /* Header row */ 133 .header { 134 display: flex; 135 flex-direction: row; 136 margin: 4px; 137 padding: 0px; 138 min-height: 7em; 139 } 140 .header > div { 141 display: flex; 142 flex-direction: column; 143 flex: 1 1 auto; 144 vertical-align: middle; 145 padding: 15px; 146 } 147 .header > div > div { 148 flex: 1 1; 149 } 150 .hdrimg1 img { 151 width: 200px; 152 height: auto; 153 position: absolute; 154 left: 40%; 155 top: -50px; 156 display: none; 157 } 158 .hdrimg2 img { 159 width: 120px; 160 height: auto; 161 position: absolute; 162 right: 20%; 163 top: 50px; 164 display: none; 165 } 166 .sideimg img { 167 height: auto; 168 position: absolute; 169 opacity: 0.2; 170 z-index: -1000; 171 display: none; 172 } 173 @media only screen and (min-width: 800px) { 174 .sideimg img, .hdrimg2 img { 175 display: block; 176 } 177 } 178 @media only screen and (min-width: 600px) { 179 .hdrimg1 img { 180 display: block; 181 } 182 } 183 .rotate1 { transform: rotate(30deg); } 184 .rotate2 { transform: rotate(60deg); } 185 .rotate3 { transform: rotate(90deg); } 186 .rotate4 { transform: rotate(120deg); } 187 .rotate5 { transform: rotate(150deg); } 188 .rotate6 { transform: rotate(210deg); } 189 .rotate7 { transform: rotate(270deg); } 190 .idximg1 img { 191 transform: rotate(20deg); 192 position: absolute; 193 left: 35%; 194 width: 300px; 195 top: -120px; 196 height: auto; 197 display: none; 198 } 199 .idximg2 img { 200 transform: rotate(120deg); 201 position: absolute; 202 left: 45%; 203 top: 250px; 204 width: 120px; 205 height: auto; 206 display: none; 207 } 208 .idximg3 img { 209 transform: rotate(140deg); 210 position: absolute; 211 right: 15%; 212 top: 100px; 213 width: 300px; 214 height: auto; 215 display: none; 216 } 217 .idximg4 img { 218 transform: rotate(-30deg); 219 position: absolute; 220 right: 30%; 221 top: -20px; 222 width: 60px; 223 height: auto; 224 display: none; 225 } 226 .idximg5 img { 227 transform: rotate(-80deg); 228 position: absolute; 229 right: 10em; 230 top: -20px; 231 width: 120px; 232 height: auto; 233 z-index: -50; 234 display: none; 235 } 236 .idximg-spacer { 237 display: none; 238 height: 200px; 239 } 240 .header, .idximg-spacer { 241 display: none; 242 } 243 @media only screen and (min-width: 1200px) { 244 .idximg3 img { display: inline; } 245 } 246 @media only screen and (min-width: 1400px) { 247 .idximg5 img { display: inline; } 248 } 249 @media only screen and (min-width: 1000px) { 250 .idximg4 img { display: inline; } 251 } 252 @media only screen and (min-width: 800px) { 253 .idximg1 img, .idximg2 img, .header, .idximg-spacer { display: inline; } 254 } 255 256 /* Left menu */ 257 .left .logo { 258 display: none; 259 } 260 @media (min-width: 800px) { 261 .left-container { 262 display: flex; 263 flex-direction: column; 264 position: sticky; 265 top: 0em; 266 } 267 .left .logo { 268 flex: 1 10 10%; 269 display: block; 270 } 271 } 272 .logo h1 { 273 text-transform: none; 274 } 275 .left .menu { 276 flex: 9 10 90%; 277 } 278 .left .menu-graphic { 279 margin-bottom: 1em; 280 margin-top: 1em; 281 text-align: right; 282 } 283 .left .menu-blurb { 284 margin: 2em; 285 text-align: left; 286 font-family: "Calibre", sans-serif; 287 font-size: large; 288 } 289 .left .menu-graphic img { 290 width: auto; 291 height: 160px; 292 transform: rotate(-90deg); 293 display: none; 294 } 295 @media only screen and (min-width: 1000px) { 296 .left .menu-graphic img { display: inline; } 297 } 298 .left .menu > ul, .left .menu > p { 299 list-style: none; 300 padding-left: 2em; 301 } 302 .left .menu > ul ul { 303 list-style: none; 304 padding-left: 3em; 305 } 306 .left .menu > ul > li { 307 color: #af7dff; 308 margin: 0.8em 0; 309 } 310 .left .menu > ul > li > a { 311 color: #af7dff; 312 } 313 .left .menu > ul > li.selected > a { 314 color: white; 315 } 316 .left .menu > ul > li:before { 317 content: "\2192"; 318 padding-right: 1em; 319 } 320 .left .menu > ul > li.selected:before { 321 content: "\2193"; 322 padding-right: 1em; 323 color: white; 324 } 325 .left .menu > ul > li:hover:before { 326 color: white; 327 } 328 .left .menu > ul > li > ul > li, .left .menu > ul > li > ul > li > a { 329 color: #999999; 330 } 331 .left .menu li { 332 text-transform: uppercase; 333 } 334 .left .menu > ul { 335 transition: height 1s ease-in-out; 336 } 337 .hide { 338 height: 0; 339 display: none; 340 overflow: hidden; 341 } 342 .menu .selected a, .left .menu > ul > li > ul > li > a.selected, .left .menu > ul > li > ul > li.selected > a { 343 color: white; 344 } 345 .menu > p { 346 text-align: center; 347 } 348 .menu > p a { 349 width: 80%; 350 border: 1px #999999 solid; 351 border-radius: 0.3em; 352 padding: 0.4em; 353 white-space: nowrap; 354 display: none; 355 } 356 @media only screen and (max-width: 800px) { 357 .menu p a { display: block; } 358 } 359 360 /* Main body */ 361 .body { 362 padding-left: 10%; 363 overflow-x: hidden; 364 } 365 .body h1 { 366 font-family: "Calibre-Thin", sans-serif; 367 padding: 5em 0; 368 font-size: xx-large; 369 font-weight: normal; 370 } 371 @media (max-width: 800px) { 372 .body h1 { padding: 1em 0; } 373 } 374 .body h2, .body h3, .body h2 a, .body h3 a { 375 font-family: "Calibre-Thin", sans-serif; 376 color: #02e68f; 377 text-indent: -5%; 378 padding: 2em 0 0 0; 379 font-weight: normal; 380 } 381 .body h2 { 382 font-size: xx-large; 383 } 384 .body h3 { 385 font-size: x-large; 386 } 387 .body ul { 388 list-style: none; 389 padding:0; 390 margin:0; 391 } 392 .body li { 393 text-indent: -2em; 394 } 395 .body li:before { 396 content: "\2022 "; 397 color: #02e68f; 398 padding-right: 1.8em; 399 } 400 table { 401 border-spacing: 0; 402 } 403 th { 404 color: #02e68f; 405 text-transform: uppercase; 406 border-bottom: 1px white solid; 407 text-align: left; 408 } 409 td { 410 border-bottom: 1px #666666 solid; 411 padding: 4px; 412 min-width: 8em; 413 } 414 415 /* Footer */ 416 footer > div { 417 padding: 1em; 418 } 419 @media (min-width: 800px) { 420 footer { 421 display: flex; 422 flex-direction: row; 423 margin-top: 8em; 424 } 425 footer > div { 426 flex: 1 1 auto; 427 display: flex; 428 flex-direction: column; 429 padding-top: 1em; 430 } 431 footer > div > div { 432 margin-top: auto; 433 flex: 1 1; 434 } 435 } 436 .lockup { 437 margin-left: 20%; 438 padding-bottom: 4em; 439 display: none; 440 } 441 @media only screen and (min-width: 800px) { 442 .lockup { display: block; } 443 } 444 445 /* Index page has a custom layout */ 446 .index-layout { 447 display: flex; 448 flex-direction: column; 449 } 450 .index-layout > div { 451 flex: 1 1 auto; 452 display: flex; 453 flex-direction: row; 454 } 455 .index-layout > div > div { 456 flex: 1 1 50%; 457 padding: 20px 40px 20px 0; 458 color: white; 459 } 460 .index-layout h2 { 461 text-indent: 0; 462 padding-top: 2em; 463 } 464 .index-layout a:link, .index-layout a:visited { 465 text-transform: uppercase; 466 color: white; 467 } 468 .index-layout p { 469 margin-bottom: 5em; 470 } 471 .index-layout img { 472 height: 8em; 473 width: auto; 474 } 475 .index-open { 476 color: white; 477 margin: 8em 8em 8em 0; 478 } 479 .index-stripe { 480 background-color: #111111; 481 padding: 8em; 482 position: relative; 483 margin: 0; 484 } 485 @media (min-width: 800px) { 486 .index-stripe { padding: 8em 8em 8em 40%; } 487 } 488 .index-open { 489 font-family: "Calibre", sans-serif; 490 font-size: large; 491 } 492 .index-stripe p { 493 font-family: "Calibre", sans-serif; 494 font-size: x-large; 495 } 496 .index-stripe img { 497 display: none; 498 } 499 @media only screen and (min-width: 800px) { 500 .index-stripe img:nth-child(1), .index-stripe img:nth-child(3) { display: inline } 501 } 502 @media only screen and (min-width: 1200px) { 503 .index-stripe img:nth-child(2) { display: inline } 504 } 505 .index-stripe .button { 506 border-radius: 2em; 507 padding: 1em 4em; 508 border: 2px #02e68f solid; 509 white-space: nowrap; 510 } 511 .index-stripe img:nth-child(1) { 512 position: absolute; 513 left: -20px; 514 width: 90px; 515 height: auto; 516 } 517 .index-stripe img:nth-child(2) { 518 position: absolute; 519 left: 10%; 520 top: -100px; 521 width: 250px; 522 height: auto; 523 transform: rotate(160deg); 524 } 525 .index-stripe img:nth-child(3) { 526 position: absolute; 527 right: -30px; 528 bottom: -40px; 529 width: 150px; 530 height: auto; 531 } 532 .index-corner { 533 background-color: #111111; 534 position: absolute; 535 top: -60em; 536 right: -40em; 537 width: 80em; 538 height: 80em; 539 opacity: 0.7; 540 transform: rotate(30deg); 541 z-index: -20; 542 } 543 @media (max-width: 1000px) { 544 .index-corner { display: none; } 545 } 546 .smol { 547 width: 20%; 548 height: auto; 549 } 550 .r90 { 551 transform: rotate(90deg); 552 } 553 .r45 { 554 transform: rotate(45deg); 555 } 556 .icon { 557 float: right; 558 } 559 .grammar-string { 560 color: #ffe752; 561 } 562 .grammar-syntax { 563 color: #ff00ff; 564 } 565 .grammar-comment { 566 color: #999999; 567 } 568 .grammar-token { 569 color: #96ee05; 570 } 571 .build-rule { 572 color: #96ee05; 573 }