Standard escape codes are prefixed with Escape:
- Ctrl-Key:
^[ - Octal:
\033 - Unicode:
\u001b - Hexadecimal:
\x1B - Decimal:
27
This is a compiled list of falsehoods programmers tend to believe about working with time.
Don't re-invent a date time library yourself. If you think you understand everything about time, you're probably doing it wrong.
| <?php | |
| $number = "\d*(?:\.\d+)?"; // It's a reference to use in other cases that matches any kind of number/float | |
| $width = "(?<w>(?:$number)?%?)?"; // This is the first part, the width | |
| $height = "(?:x(?<h>(?:$number)?%?))?"; // Here is the height, the same as "width" but starting with an "x" | |
| $aspect = "[!><@^]"; // These are the different filters one can use to stretch, shrink, etc. | |
| $size = "$width$height"; // To match any size we need width and height at least (aspect comes later) |
| * { | |
| font-size: 12pt; | |
| font-family: monospace; | |
| font-weight: normal; | |
| font-style: normal; | |
| text-decoration: none; | |
| color: black; | |
| cursor: default; | |
| } |