1. 7744101 doc: add icons to the home page blocks by David B. Kinder · 6 years ago
  2. eeb3bf2 doc: tweak doxygen css and remove top border by Anas Nashif · 6 years ago
  3. 63bdb80 doc: Add top-level navigation grid by Anas Nashif · 6 years ago
  4. 691e117 doc: tweak API CSS for improved usability by David B. Kinder · 6 years ago
  5. 2cf47fe doc: tweak table CSS for caption location by David B. Kinder · 7 years ago
  6. f3f266e doc: more RTD theme tweaks by David B. Kinder · 7 years ago
  7. d47bd0b doc: prepare for read_the_docs theme change by David B. Kinder · 7 years ago
  8. de6d61d doc: remove local copy of jquery.js by David B. Kinder · 7 years ago
  9. 11c6306 doc: tweak CSS for option table display by David B. Kinder · 7 years ago
  10. b57ac8a doc: improve Sphinx search results output by David B. Kinder · 7 years ago
  11. 076e6d3 doc: update jquery version to 3.1.2 by David B. Kinder · 7 years ago
  12. 1b79787 doc: tweak API doc CSS for RTD theme by David B. Kinder · 8 years ago
  13. e86c503 doc: allow table head and content to wrap by David B. Kinder · 8 years ago
  14. 6bd5dff doc: add CSS support for hlist directive by David B. Kinder · 8 years ago