Commits · master · solverstack / inria-org-html-themes

Jul 22, 2022
- [readtheorginria-system] fix font size · 154c919a
  FELŠÖCI Marek authored 2 years ago
  
  154c919a
- Fix author name in examples · 0ae00076
  FELŠÖCI Marek authored 2 years ago
  
  0ae00076
- [readtheorginria-system] minor fix · 3e6a2a45
  FELŠÖCI Marek authored 2 years ago
  
  3e6a2a45
- Fix software environment and use channels+manifest setup · ba63452f
  FELŠÖCI Marek authored 2 years ago
  
  ba63452f
- Add example and further instructions for `readtheorginria-system' · 2b2ba4f0
  FELŠÖCI Marek authored 2 years ago
  
  2b2ba4f0
- Add version of `readtheorginria' using system fonts · 77fa92fa
  FELŠÖCI Marek authored 2 years ago
  
  77fa92fa
- [readtheorginria] minor visual improvements · 9b4fa968
  FELŠÖCI Marek authored 2 years ago
  
  9b4fa968
Oct 25, 2021
- [readtheorginria] fix small monospaced text · 737ec7e0
  FELŠÖCI Marek authored 3 years ago
  
  737ec7e0
- [README] fix syntax · e1a11fb0
  FELŠÖCI Marek authored 3 years ago
  
  e1a11fb0
Jul 07, 2020
- README.md: make some clarifications · 051d65b8
  FELŠÖCI Marek authored 4 years ago
  
  051d65b8
- add a readme file · 474a5077
  FELŠÖCI Marek authored 4 years ago
  
  474a5077
- CI/CD: use an isolated Guix environment and tag jobs · 53e502fa
  FELŠÖCI Marek authored 4 years ago
  
  53e502fa
- pages.el: simplify the export function · db3c2f3d
  FELŠÖCI Marek authored 4 years ago
  
  db3c2f3d
Apr 19, 2020
- fix links in the online theme version · bcb7a744
  FELŠÖCI Marek authored 5 years ago
  
  bcb7a744
- add online version of the theme · f48969ea
  FELŠÖCI Marek authored 5 years ago
  
  f48969ea
Mar 22, 2020
- forgot elisp exporting script · 14313244
  FELŠÖCI Marek authored 5 years ago
  
  14313244
- add example · 64b81bed
  FELŠÖCI Marek authored 5 years ago
  
  64b81bed
- good to go · bdc04288
  FELŠÖCI Marek authored 5 years ago
  
  bdc04288
Mar 21, 2020
- disable publishing · 665da913
  FELŠÖCI Marek authored 5 years ago
  
  665da913
- make the theme local · 53a2c293
  FELŠÖCI Marek authored 5 years ago
  
  53a2c293
Mar 18, 2020
- style fix · c71ac19e
  FELŠÖCI Marek authored 5 years ago
  
  c71ac19e
- style fix · 97d9b6f1
  FELŠÖCI Marek authored 5 years ago
  
  97d9b6f1
- style fix · 5a88f7ee
  FELŠÖCI Marek authored 5 years ago
  
  5a88f7ee
- font style · e4b17841
  FELŠÖCI Marek authored 5 years ago
  
  e4b17841
- font style · a912d933
  FELŠÖCI Marek authored 5 years ago
  
  a912d933
- font style · 0793c44a
  FELŠÖCI Marek authored 5 years ago
  
  0793c44a
- font style · b3e6c873
  FELŠÖCI Marek authored 5 years ago
  
  b3e6c873
- font style · c52776a6
  FELŠÖCI Marek authored 5 years ago
  
  c52776a6
- set fonts to defaults and prettify sources · b563b362
  FELŠÖCI Marek authored 5 years ago
  
  b563b362
- center tables · 72b59e96
  FELŠÖCI Marek authored 5 years ago
  
  72b59e96
- force table width to 90% and font to be sans-serif · 8adb1306
  FELŠÖCI Marek authored 5 years ago
  
  8adb1306
- disable repeating inria logo background · 074d8db6
  FELŠÖCI Marek authored 5 years ago
  
  074d8db6
- override .title · 09751fe4
  FELŠÖCI Marek authored 5 years ago
  
  09751fe4
- add inria logo · f0b2dfbb
  FELŠÖCI Marek authored 5 years ago
  
  f0b2dfbb
- style adaptations · 8728dceb
  FELŠÖCI Marek authored 5 years ago
  
  8728dceb
- move setup file to a common location · ed01c8ce
  FELŠÖCI Marek authored 5 years ago
  
  ed01c8ce
- fix CI config · 338396f6
  FELŠÖCI Marek authored 5 years ago
  
  338396f6
- fix missing script clause · cd39194d
  FELŠÖCI Marek authored 5 years ago
  
  cd39194d
- initial commit · a4f15502
  FELŠÖCI Marek authored 5 years ago
  
  a4f15502

Admin message