search

KirillOsenkov / SourceBrowser

Source browser website generator that powers http://referencesource.microsoft.com and http://sourceroslyn.io
Apache License 2.0
1.08k stars 197 forks source link

Make body stretch to flex parent #211

Closed mrahhal closed 2 years ago

mrahhal commented 2 years ago

Before: Screenshot_2

After: Screenshot_3

This is an extremely straightforward fix in CSS. When you wanna go flex, you usually want to go flex all the way, but in the bg PR I wanted to change the least amount of CSS I could. In any case, this should work as expected now.

As you can see this also fixes a problem in the header caused by #201 too (at the time didn't realize the same styles were being applied to the header too).

Do note though that I wasn't able to test this one locally because of problems generating the test solution (since it uses .net 4.5 and apparently I don't have the dev pack for it), so you might want to do a quick run to make sure it works fine.

Resolves #209

KirillOsenkov commented 2 years ago

Wonderful, thanks! Seems to be working great.

I also fixed the Test solution not to have errors during indexing. Indexing still worked even if there were errors (SourceBrowser is designed to be very tolerant and supports indexing code with errors).