aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorLines
2020-05-16Merge upstream 'dev' into local devPedram Ashofteh Ardakani-0/+0
Problem with local repo. Using `git reset <commit hash>` changes the HEAD location. And it looks like I have pushed this before. So, there were some complications. Now, fix it.
2020-05-16Bring headers closer to text below themPedram Ashofteh Ardakani-1/+16
Reduce the margin and padding on top of the paragraphs and below the headers. Mohammad suggested this on savannah: * https://savannah.nongnu.org/bugs/?58377#comment0 Also, add a few sentences in the README.md file.
2020-05-15Added a short description of how to submit bugs and tasksMohammad Akhlaghi-0/+3
New users don't know where to look for submitting bugs and tasks, so its good to put a short description in the top page. Later, we should open a whole page for this.
2020-05-15Update README.mdPedram Ashofteh Ardakani-1/+5
Let everyone know where the actual repo is held, and that this repo is the development stage. Contributors can contact us here, and do merge-requests or in some cases, push commits in certain branches.
2020-05-08Imported recent fix on executability of index.html, no conflictsMohammad Akhlaghi-0/+0
There weren't any conflicts in this merge.
2020-05-08No need for executable index.htmlBoud Roukema-0/+0
This is a tiny security fix. There's no need nor point in making `index.html` have executable status. This commit removes executable status for user/group/other from the top `index.html' file.
2020-05-07Change `burger` menu behavior, minor fixesPedram Ashofteh Ardakani-13/+27
* Add more comments in CSS * Fill the entire top with nav bar in smaller screens * Rotate the `burger` menu 180degrees and change color on click * Replace the `burger` unicode with pipe `|` in other pages too * Add the licensing info in other pages too * Increase the page width for more space
2020-05-07Fix `Git` button and the `hamburger` menu labelPedram Ashofteh Ardakani-5/+10
* The `hamburger` label is not showing properly in different browsers. Maybe that specific html unicode is not supported in all browsers. I used a trick to fix this issue using the pipe character `|` ;-) You could read about that here too: https://stackoverflow.com/a/61645811/6474744 * The `down-arrow` unicode also did not work as expected through some browsers. It was decided to remove this label totally. Maybe later we can adopt using `standard` unicode html characters that are `known` to be widely used across various browsers in different platforms.
2020-05-07Add licensing informationPedram Ashofteh Ardakani-1/+29
Thanks to Mohammad for recognizing even the smallest of contributions.
2020-05-05Fix banner alignmentPedram Ashofteh Ardakani-0/+4
Keep the Maneage logo and header texts next to each other by vertical-aligning them both at the middle.
2020-05-05Add comments, mind the CSS stylingPedram Ashofteh Ardakani-198/+210
* Clarify selectors and elements with comments * Delete duplicate styles * Change ID names to something that makes more sense
2020-05-05Stick navigation bar to the topPedram Ashofteh Ardakani-21/+22
And make the hamburger label white. NOTE: It may look nicer if the label rotates when the user clicks on it.
2020-05-05Replace `Git Repository` nav button with `Git`Pedram Ashofteh Ardakani-3/+3
To prevent unwanted word wrapping. Plus, less is more.
2020-05-03Fix CSS link coloring and nav headerPedram Ashofteh Ardakani-52/+38
* Fix responsive header width * Round corners in footer and nav head * Stick navigation bar to the top * Add comments to make it dev-friendly, More to come in future commits * Darken the link colors to ease the reader's experience and keep the links from jumping out the text
2020-05-03Fix footers in HTMLPedram Ashofteh Ardakani-30/+8
* Wrap in <footer> tag * Add ARIA role * Add ID's so they can be referenced to via anchors * Fixed typo in head
2020-05-03tutorial: improved formattingPedram Ashofteh Ardakani-42/+42
* use <span class="comment"># some comment</span> * remove extra <span> tags
2020-05-03Replace (C) in html with &copy; symbolPedram Ashofteh Ardakani-4/+4
2020-05-03Fix colors and code paddingPedram Ashofteh Ardakani-24/+48
Colors: * links (darker pink) * visited links (darker - but distinguishable from black) * link text-shadows (lighter, subtle selecting effect) * code blob background (pure white) Padding: * same as GitLab * line-height wasn't working because it was inherited from body. Fixed this by changing the line-height in the parent - which is the <pre> tag
2020-05-03Remove extra spacing before and after code blocksPedram Ashofteh Ardakani-185/+84
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.
2020-05-01Create header banner for everypagePedram Ashofteh Ardakani-12/+28
Now, every page has a banner with Maneage logo on it. Fixed the html and css both.
2020-05-01about: Put loose links in <p> inside <ul> and <a>Pedram Ashofteh Ardakani-6/+11
2020-05-01Fix link selectorsPedram Ashofteh Ardakani-4/+4
Until now, the links were selected by their parent. That was to separately change the `Button` links and links in <p>, <li>, etc. With this commit, only the `Button` links are sepatated with a class. All other links are decorated the same.
2020-05-01Recolor <pre> code sectionsPedram Ashofteh Ardakani-2/+2
* Lighter background * Lighter border
2020-05-01Fix fontsPedram Ashofteh Ardakani-0/+3
* Reduce <code> font size * Increase <body> line-height
2020-05-01Fix top navigation linksPedram Ashofteh Ardakani-3/+2
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-742/+699
The tutorial still needs clearing up.
2020-04-29tutorial: Initial tutorial conversionPedram Ashofteh Ardakani-0/+792
https://gitlab.com/infantesainz/reproduce-raulfork/-/blob/tutorial/README-tutorial.md
2020-04-29Fix indentationsPedram Ashofteh Ardakani-379/+391
2020-04-29about: Fix code blocksPedram Ashofteh Ardakani-1230/+1278
Maybe we should create a side navigation toolbar.
2020-04-29about.html: initial Markdown to HTML conversionPedram Ashofteh Ardakani-0/+1240
Used the https://daringfireball.net/projects/markdown/ project.
2020-04-29Update gitignore `./prog`Pedram Ashofteh Ardakani-0/+1
Used a Perl script to convert Markdown to HTML. This is where it sits.
2020-04-29Perl Markdown to HTML convertor scriptPedram Ashofteh Ardakani-0/+1821
2020-04-29Better <code> formatting & tidy up CSSPedram Ashofteh Ardakani-12/+42
Change background and text colors, round the corners, better control on text overflow in smaller devices, etc. I'll try to be more `atomic` in next commits. However, that seems unnecessary since all these commits have short lives, except the last `squashed` one.
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-29Tidy up the CSS file, esp. the colors sectionPedram Ashofteh Ardakani-78/+39
Created a seperate color section at the beginning of the CSS file, so one can change colors without moving around the CSS file so much! Created a `FONTS` section at the top of the CSS file. Also, moved the `decoration classes` section next to the `colors` section in the CSS file. I'll try to tidy up the CSS file further.
2020-04-29Fix git repo link, remove extra git buttonPedram Ashofteh Ardakani-5/+1
2020-04-28Decorate various tagsPedram Ashofteh Ardakani-15/+37
Unitl now, there were almost no decorations introduced to <code> and <a> tags. With this commit, the webpage gets a colorful soul.
2020-04-28Link colorsPedram Ashofteh Ardakani-46/+62
2020-04-28Revert the text, exactly echo maneage.orgPedram Ashofteh Ardakani-3/+2
2020-04-28Fix internal URLPedram Ashofteh Ardakani-4/+4
2020-04-28Update gitignorePedram Ashofteh Ardakani-1/+2
2020-04-28Fix favicon, compress the logoPedram Ashofteh Ardakani-245/+2
2020-04-28Put in the CSS filePedram Ashofteh Ardakani-0/+234
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/+351
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.
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-27 12:20:28 +0000