Add news page (alshedivat#1085)

fixes alshedivat#993 Also added links to news and publications from respective section headers on the home page. Changed the colors of the header links to make it consistent with the previous look.
antchristou · Jan 8, 2023 · 6d0053e · 6d0053e
1 parent 0ff683c
commit 6d0053e
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 6 deletions.
diff --git a/_includes/news.html b/_includes/news.html
diff --git a/_includes/selected_papers.html b/_includes/selected_papers.html
diff --git a/_layouts/about.html b/_layouts/about.html
diff --git a/news.html b/news.html