aboutsummaryrefslogtreecommitdiffstats
path: root/docs/mesa.css
Commit message (Collapse)AuthorAgeFilesLines
* docs: drop h1 in headerErik Faye-Lund2019-05-081-6/+1
| | | | | | | | | | | It's generally frowned upon to have more than one H1 per document in HTML4. So let's put the text directly inside the header. This means we can drop the flex-based centering, which makes things a bit easier. We also need to change the padding to rem instead of em, because the em has now changed. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: do not hard-code header-heightErik Faye-Lund2019-05-021-1/+1
| | | | | | | | | | | It's generally nicer to do this in terms of em units, as that scales better with text-sizes, if we ever decide to change them. The result is slightly larger than before, but only by a couple of pixels. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: simplify css-centeringErik Faye-Lund2019-05-021-4/+3
| | | | | | | | | With "display: flex;" we can make this a bit more automatic, not requiring a bunch of values to be of specific values to get the right centering. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: use multiple background-images for headerErik Faye-Lund2019-05-021-5/+2
| | | | | | | | This is a bit tidier than to set a background on the h1-text, requiring it to be full height and all. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: remove spurious newlineErik Faye-Lund2019-05-021-1/+0
| | | | | Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: avoid repeating the colorErik Faye-Lund2019-05-021-3/+0
| | | | | | | | The color attribute is inherited in CSS, so there's no point in repeating this. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: avoid repeating the fontErik Faye-Lund2019-05-021-2/+2
| | | | | | | | The font attribute is inherited in CSS, so there's no point in repeating this. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: add missing semicolonErik Faye-Lund2019-05-021-1/+1
| | | | | | | | | While it's legal to omit the last semicolon in a CSS block, it's generally not considered good style, as it makes it harder to add new lines. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: remove long commented out cssErik Faye-Lund2019-05-021-2/+0
| | | | | | | | These attributes has been commented out since 2005; I don't think there's a big chance of them making a return as-is. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: remove non-existent css attributeErik Faye-Lund2019-05-021-1/+0
| | | | | | | There's no CSS-attribute named "link", so let's remove it. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: normaize css-indent styleErik Faye-Lund2019-05-021-19/+19
| | | | | | | | | Tabs has been around as the indention style of this file since it was created. Some newer CSS has added double-spaces, but let's keep it consistent. Signed-off-by: Erik Faye-Lund <[email protected]> Reviewed-by: Eric Engestrom <[email protected]>
* docs: format code blocks a bit nicelyEric Engestrom2018-12-191-0/+3
| | | | Signed-off-by: Eric Engestrom <[email protected]>
* docs: add new iframe layoutAndreas Boll2012-09-191-0/+30
|
* minor fixesBrian Paul2005-07-011-1/+0
|
* minor face-lift for web pagesBrian Paul2005-05-051-3/+2
|
* Use a simple CSS style sheet.Brian Paul2005-01-201-0/+35