search

ncatlab / nlab

Source code for the nLab
https://ncatlab.org
149 stars 16 forks source link

Stylistic changes to the appearance of the nLab #5

Closed DavidMichaelRoberts closed 5 years ago

DavidMichaelRoberts commented 5 years ago

We are not running on the main branch of Instiki. This new colour is to create a visual distinction, following some private discussions.

DavidMichaelRoberts commented 5 years ago

Apologies, was confused as to the granularity of pull requests! Also changed running font to now give a different overall feel to the pages.

DavidMichaelRoberts commented 5 years ago

Hi @williamsonrichard

this is not a request, unfortunately, nor a mere tweak for the sake of it. These changes need to be made. You will find out soon, I think, why. Thank you for understanding. It's not just me, but Mike and Todd have agreed to these changes, and I'm sure when others on the Steering Committee come online they will be ok with them too.

DavidMichaelRoberts commented 5 years ago

I do not know off-hand how to remove README from the pull request. Do I revert the file in my own fork?

DavidMichaelRoberts commented 5 years ago

OK, done it. The changes can now be merged and they should be pushed to the version that is actually running the nLab. The only question is where the main nLab web colour styling is stored. I guess this is changed through the Instiki interface on the actual website.

DavidMichaelRoberts commented 5 years ago

Oh, and Urs is now approving these changes as well.