aboutsummaryrefslogtreecommitdiff
path: root/index.html
AgeCommit message (Collapse)AuthorLines
2020-05-01Create header banner for everypagePedram Ashofteh Ardakani-1/+1
Now, every page has a banner with Maneage logo on it. Fixed the html and css both.
2020-05-01Fix top navigation linksPedram Ashofteh Ardakani-1/+0
Make them identical. Just four items.
2020-05-01Reset the favicon to original Maneage logPedram Ashofteh Ardakani-1/+1
This looks bad in non-dark themes. Maybe we should find another way of making the logo stick out in dark themed browsers.
2020-04-29Prepare tutorial file, and add link to indexPedram Ashofteh Ardakani-1/+2
The tutorial still needs clearing up.
2020-04-29Remove initial white-spaces in <pre>Pedram Ashofteh Ardakani-9/+9
CSS will handle the spaces. This is to prevent the users from copying the extra spaces to their clipboard.
2020-04-29Fix git repo link, remove extra git buttonPedram Ashofteh Ardakani-5/+1
2020-04-28Decorate various tagsPedram Ashofteh Ardakani-9/+9
Unitl now, there were almost no decorations introduced to <code> and <a> tags. With this commit, the webpage gets a colorful soul.
2020-04-28Revert the text, exactly echo maneage.orgPedram Ashofteh Ardakani-3/+2
2020-04-28Fix internal URLPedram Ashofteh Ardakani-4/+4
2020-04-28Fill indexPedram Ashofteh Ardakani-119/+162
2020-04-27Added a merge/pull request descriptionMohammad Akhlaghi-14/+67
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.
2020-04-25Added two links to explain reproducibility and to the Git repoMohammad Akhlaghi-2/+2
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.
2020-04-25Git URL in demo command now moved to git.maneage.orgMohammad Akhlaghi-2/+2
I just setup this repository to host the project on our own servers, so its better to use it instead of GitLab.
2020-04-24First commit, just a place holder until page is madeMohammad Akhlaghi-0/+68
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.