You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Yudong Jin e813b5a0fa Bug fixes and improvements (#1078) ... * Fix the logo in the en version * Optimize header color and fix body background color * Update theme switch's name * Fix backfrop-filter on Safari * Update some animation's file name for adding egde when cropping * Re-count the comments number * A bug fix in n_queens_problem.md		9 months ago
..
avatar	Some improvements (#1073)	9 months ago
covers	Update the figures and cover images (#1020)	11 months ago
hero	Some improvements (#1073)	9 months ago