Commit Graph
1587 Commits
Author SHA1 Message Date
Dominik Jain 98072d171f Add 'About Serena' contents to the intro page of the first section 2025-11-09 07:14:15 +01:00
Dominik Jain 91dcbfa1bc Remove unnecessary copies of logo images 2025-11-09 07:13:34 +01:00
Dominik Jain 97fe7144d0 Remove references to sensAI, update .gitignore [skip ci] 2025-11-09 06:39:51 +01:00
youM b371d5bcf8 Use selection range in scala (#733)
* enable serection range

* rm dupricate row
2025-11-09 06:37:40 +01:00
Dominik Jain 2bc9d1b4a5 Add video tags 2025-11-09 06:19:25 +01:00
Michael Panchenko 0ddeab82ab Docs: support for dark mode logo 2025-11-09 11:40:51 +07:00
Michael Panchenko 420df9dd93 Updated doc build dependencies 2025-11-09 11:40:31 +07:00
Michael Panchenko 85ce624063 Docs config: removed references to tianshou 2025-11-09 11:14:40 +07:00
Michael Panchenko 9cd221755d Docs config: removed copy-paste 2025-11-09 11:11:44 +07:00
Dominik Jain 0b999e7762 Update configuration guide URL 2025-11-09 02:07:55 +01:00
Dominik Jain 21c88fe8b0 Use dedicated heartbeat function to auto-close dashboard
Fixes #734
2025-11-09 02:07:25 +01:00
Dominik Jain 875eb72c51 Add 'Copy Dashboard URL' function to GUI window 2025-11-09 01:47:31 +01:00
Dominik Jain 08d9488540 Improve Quick Start 2025-11-08 17:11:16 +01:00
Dominik Jain fc8503f77b Merge pull request #729 from oraios/docs
New documentation structure (outside of README)
2025-11-08 16:30:17 +01:00
Dominik Jain 5dc5f5e5f0 Build docs for main branch 2025-11-08 15:05:02 +01:00
Dominik Jain ff5ac556dc Add CLI command examples 2025-11-08 14:14:20 +01:00
Dominik Jain 55a041dffc Clean up docs task 2025-11-08 13:12:35 +01:00
Dominik Jain db01516894 Improve callouts 2025-11-08 13:10:53 +01:00
Dominik Jain 2b9a450559 Disable continuation on error 2025-11-08 12:43:17 +01:00
Dominik Jain 90e123726c Fix heading levels in docs 2025-11-08 12:43:17 +01:00
Dominik Jain e436fb3f59 Fix links in docs 2025-11-08 12:43:17 +01:00
Dominik Jain 530926c836 Several docs improvements (proof-reading) 2025-11-08 12:43:17 +01:00
Dominik Jain 766ecbccd4 Move tool list to docs, restructure README 2025-11-08 04:03:15 +01:00
Dominik Jain 63fd5bfb59 Update README, removing parts now in the user guide and adding links instead 2025-11-08 01:09:15 +01:00
Dominik Jain 6833044a85 Update docs build in CI 2025-11-08 00:39:28 +01:00
Dominik Jain ec41c32a0f Improve docs on workflow 2025-11-08 00:11:25 +01:00
Dominik Jain 9f2ed5965e Improve docs on client configuration 2025-11-07 23:36:57 +01:00
Dominik Jain 185c3b2065 Improve prerequisistes and language support docs 2025-11-07 21:10:15 +01:00
Dominik Jain 9dbbfe60b8 Improve docs on 'Running Serena' 2025-11-07 20:54:38 +01:00
Dominik Jain f958031555 Add/improve docs on dashboard/GUI tool 2025-11-07 20:50:09 +01:00
Dominik Jain 1ec18595be Add/improve docs on security 2025-11-07 20:43:36 +01:00
Dominik Jain 774333befc Improve docs on contexts and modes 2025-11-07 20:30:17 +01:00
Dominik Jain c2b456a862 Restructure docs, improve texts (particular for Running Serena) 2025-11-07 20:15:43 +01:00
Dominik Jain faf3441ab2 Add content from README in docs structure 2025-11-07 18:00:00 +01:00
Dominik Jain 9c506d0097 Initial setup for jupyterbook build 2025-11-07 14:29:35 +01:00
Dominik Jain c3827d9d57 Apply formatter 2025-11-06 21:04:17 +01:00
Dominik Jain e3128280e5 Merge branch 'sponsor-rotation' 2025-11-06 21:03:59 +01:00
Dominik Jain ef135686c1 Disable sponsor display/rotation 2025-11-06 21:03:41 +01:00
Dominik Jain 234cc87679 Merge branch 'cancelable-tasks' 2025-11-06 21:00:03 +01:00
Dominik Jain 19313fea56 Improve task cancellation test 2025-11-06 20:58:33 +01:00
Dominik Jain 92774c6e10 Add more CSS vars, improving log window height calculation 2025-11-06 20:54:42 +01:00
Dominik Jain 195dbee6de Make sponsor image 1px border configurable in manifest 2025-11-06 20:54:11 +01:00
Dominik Jain 4a5fde51fd Update sponsors manifest URL 2025-11-06 20:22:52 +01:00
Dominik Jain 0c473527bc Define minimum width 2025-11-06 18:54:59 +01:00
Dominik Jain 71320c8dfd Fix random padding/margins, making content and header the same size 2025-11-06 18:49:25 +01:00
Dominik Jain 960a3cb894 Align heights of menu/theme buttons, fix button and menu positions 2025-11-06 18:32:22 +01:00
Dominik Jain cb2b921326 Add sponsor links 2025-11-06 18:25:19 +01:00
Dominik Jain 28f90481fd Factorise sponsor element generation 2025-11-06 18:20:53 +01:00
Dominik Jain 4c0ed00042 Remove obsolete sponsor styles 2025-11-06 18:14:55 +01:00
Dominik Jain 8f0d87e37d Load sponsor data dynamically (from hades) 2025-11-06 18:13:01 +01:00