mkdocs.yml

site_name: Gradescope Autograder Documentation
repo_url: https://github.com/gradescope/autograder_samples
docs_dir: docs
theme: readthedocs
extra_css: [gradescope.css]
nav:
- 'Home': index.md
- 'Updates': updates.md
- 'Getting Started': getting_started.md
- 'Autograder Specifications': specs.md
- 'Manual Grading': manual_grading.md
- 'Technical Details': tech.md
- 'Base Images': base_images.md
- 'Debugging via SSH': ssh.md
- 'Troubleshooting': troubleshooting.md
- 'Python 3 Issues': python3_issues.md
- 'Autograder Best Practices': best_practices.md
- 'Advanced Usage':
  - 'Submission Metadata': submission_metadata.md
  - 'Manual Docker Configuration': manual_docker.md
  - 'Pulling Autograder from Git': git_pull.md
- 'Leaderboards': leaderboards.md
- 'Examples':
    - 'Python': python.md
    - 'Java': java.md
    - 'Java+Maven': java-mvn.md
    - 'C#': c_sharp.md
    - 'General output-checking autograder': diff_general.md
    - 'Native code via Python': diff.md
    - 'MySQL': mysql.md
    - 'Python autograder for code in another language': python_other_language.md
- 'Community Resources': resources.md
markdown_extensions:
  - admonition
  - attr_list