Code

Add website#50

Code

Merged

orzechow merged 7 commits intomainKIT-MRT/arbitration_graphs:mainfrom add_websiteKIT-MRT/arbitration_graphs:add_websiteCopy head branch name to clipboardOct 11, 2024

+285-4

Commits

Commits on Oct 7, 2024

• Use Cayman theme

  orzechow

  committed
  2c27240

• Setup Docker image for local GitHub Pages testing

  orzechow

  committed
  7e0ec68

• Customize the Cayman theme to our liking

  orzechow

  committed
  63a95d2

• Move images to docs/assets/img

  orzechow

  committed
  d054312

• Add short documentation for GitHub Pages docker environment

  orzechow

  committed
  dcb48b9

Commits on Oct 11, 2024

• Use normal title case for the page title

  orzechow

  committed
  ad495ac

• Use Rubik font in page header as well

  orzechow

  committed
  80c9518