Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-29 | docs | Florian Dold | |
2019-06-27 | absolutize navbar links | Marcello Stanisci | |
2019-06-27 | update footer, rename design to princiles | Christian Grothoff | |
2019-06-27 | redesign attempt | Florian Dold | |
2019-03-03 | bootstrap 4 adjustments for bootstrap 3 code. | ng0 | |
2018-08-07 | gsoc 2018- codeless payment | shivam kohli | |
2018-02-07 | russian goes in main lang menu too | Marcello Stanisci | |
2018-02-07 | pt lang in main lang menu | Marcello Stanisci | |
2017-06-05 | add missing markup for navigation bar | Christian Grothoff | |
2017-06-02 | Stop offending people with flags. | Florian Dold | |
The icon that we use is from http://www.languageicon.org/ and released under a CC license. | |||
2017-06-02 | space between language and flag | Florian Dold | |
2017-05-23 | post copyright assignment | Christian Grothoff | |
2017-05-04 | adding glossary to main page | Christian Grothoff | |
2017-03-07 | add missing alt tag | Florian Dold | |
2017-03-07 | link bibliography | Florian Dold | |
2017-03-06 | boxes / minor fixes | Florian Dold | |
2017-03-06 | menu structure and markup fixes | Florian Dold | |
2017-03-06 | stylize logo | Florian Dold | |
2017-03-06 | colors / links | Florian Dold | |
2017-03-06 | conversion/text | Florian Dold | |
2017-03-06 | clean up main page | Florian Dold | |
2017-02-15 | show extra lang button only in responsive mode | Florian Dold | |
2017-02-15 | fix responsive design language bar | Florian Dold | |
2017-02-14 | fix ugly language bar | Florian Dold | |
2017-02-14 | give the navbar a more look | Florian Dold | |
People have complained in the past that we're just using the default bootstrap theme, so this fixes at least the navbar part. We still highlight the demo button ... | |||
2017-02-10 | updates to pages based on discussions with Leon and Sva | Christian Grothoff | |
2017-01-30 | generate HTML with same structure as nginx serves it | Florian Dold | |
2017-01-30 | remove more ssi | Florian Dold | |
2017-01-30 | use templates instead of SSI, use relative URLs | Florian Dold | |