Skip to content

[Docs] Improve docs sidebar#43

Merged
SumanthRH merged 4 commits intomainfrom
sumanthrh/docu-sidebar
Jun 26, 2025
Merged

[Docs] Improve docs sidebar#43
SumanthRH merged 4 commits intomainfrom
sumanthrh/docu-sidebar

Conversation

@SumanthRH
Copy link
Member

What does this PR do?

Tiny PR to improve sidebar

Before (note truncation, and also how examples is lower):

image

After:

Screenshot 2025-06-26 at 12 38 25 AM

x
Signed-off-by: SumanthRH <sumanthrh99@gmail.com>
x
Signed-off-by: SumanthRH <sumanthrh99@gmail.com>
Copy link
Member Author

@SumanthRH SumanthRH left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Need to change references for the files

Signed-off-by: SumanthRH <sumanthrh99@gmail.com>
x
Signed-off-by: SumanthRH <sumanthrh99@gmail.com>
@SumanthRH SumanthRH merged commit 57e2b8b into main Jun 26, 2025
3 checks passed
@SumanthRH SumanthRH deleted the sumanthrh/docu-sidebar branch July 16, 2025 23:19
fannie1208 pushed a commit to vinid/SkyRL that referenced this pull request Aug 19, 2025
# What does this PR do?

Tiny PR to improve sidebar

Before (note truncation, and also how examples is lower): 

![image](https://github.com/user-attachments/assets/d11f080c-9dec-43bb-85cb-484b23e53eca)


After:

![Screenshot 2025-06-26 at 12 38
25 AM](https://github.com/user-attachments/assets/a5dd7ca8-4b8b-4b99-bd22-891bdcfc9dc6)

---------

Signed-off-by: SumanthRH <sumanthrh99@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants