| Age | Commit message (Collapse) | Author | Lines |
|---|
|
To prevent unwanted word wrapping. Plus, less is more.
|
|
* Wrap in <footer> tag
* Add ARIA role
* Add ID's so they can be referenced to via anchors
* Fixed typo in head
|
|
Until now, the extra space made the padding look too big.
* Changed this HTML code convention:
```html
<pre><code>
some code
</code></pre>
```
* to this:
```html
<pre><code>some code</code></pre>
```
And the extra space is gone.
|
|
Now, every page has a banner with Maneage logo on it. Fixed the html and
css both.
|
|
Make them identical. Just four items.
|
|
This looks bad in non-dark themes. Maybe we should find another way of
making the logo stick out in dark themed browsers.
|
|
The tutorial still needs clearing up.
|
|
CSS will handle the spaces. This is to prevent the users from copying
the extra spaces to their clipboard.
|
|
|
|
Unitl now, there were almost no decorations introduced to <code> and <a>
tags.
With this commit, the webpage gets a colorful soul.
|
|
|
|
|
|
|
|
Boud had suggested having this on the main page for now, later when we
actually add some graphics and structure to the webpage it will be put
in the proper place.
|
|
Until now there wasn't any explanation of what we mean by "exact
reproducibility", so I added it and also put a click-able link to the
Git repository for easy navigation.
This is indeed just a crude place-holder, but since its live now, and
we have mentioned it in the draft paper, its good to have some
links. It also helps web search tools to already connect this page
with other related pages so by the time the final page is ready, it
can already have a presence in the search results.
|
|
I just setup this repository to host the project on our own servers,
so its better to use it instead of GitLab.
|
|
This is just a place holder that I made in a few minutes after setting
up the `maneage.org' domain. We will fill it up soon.
|
