Add Documentation Panel Open/Close button

[AdRiley]

Add new button top right to toggle open/close of doc panel

icon: right_panel

Closed

Open

As always screenshots indicate general concept. Alignment and background colors should be determined by implementer

• Remove current x to close icon.
• Scroll bar needs to start below menu bar
• Doc panel buttons should have same size and alignment as other buttons on their "row"

[enso-bot]

Keziah Wesley reports a new STANDUP for the last Monday (2024-07-01):

Progress: Debugged a reactivity issue; finished docks PR. Started designing cloud-browser API solution. It should be finished by 2024-07-02.

Next Day: Next day I will be working on the #10400 task. Implementing.

[enso-bot]

Keziah Wesley reports a new STANDUP for the last Friday (2024-06-28):

Progress: Implemented doc panel changes. It should be finished by 2024-07-02.

Next Day: Next day I will be working on the #10385 task. Final testing; PR.