| Commit message (Collapse) | Author | Age | Lines | SHA |
|---|
| |
|
|
|
|
|
|
| |
Currently the newest version of the markup is not on the main branch,
mostly because of polish and the documentation.
As an effect from the changes to the language, the sitemap is the only
thing which needs to be created externally.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
| |
The old approach using JS would cause CORS policy errors. Since the
stylesheet is disabled by default, it won't ever be downloaded, unless
you're on a machine_table page. But even if you try, it will fail
because of the relative path, making sure you almost never download it.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
Make buttons span a single line, increase their font size and center
them. Now they act as a transitional element from the left-aligned
contents to the center-aligned header footer.
|
| |
|
|
| |
Replace vertical lines with bullets and center text
|
| |
|
|
|
| |
Before, if a page (like src/teaching.html) was too short, we would get a
whole lot of gray color after the article footer. Now we don't.
|
| |
|
|
|
|
| |
A good amount of tutorial pages are more akin to blog posts than
tutorials. And even for the ones that are very much a "quick how-to", I
feel many blogs would include them as blog posts.
|
| | |
|
| |
|
