Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Complete with nLab T-shirt! Is the latter a homegrown invention of Domenico, or have they been silently taking over the world?
He says his students gave him the shirt.
Incidentally, do you also see that there is missing whitespace between the text and the image?
I see this generally on my system, when including images inside a div-tag environment: They come out with none (hence too little) horizintal padding, and at the same time with too much vertical padding.
For what its worth, I get the same effect on a MacBook with Firefox, Safari and Chrome, and on an iPad with Safari.
If Domenico reads the nForum, then he should be advised the links at this page are broken, pointing to Andrew Stacey-related urls.
Re #4: I don’t think the left padding issue was a bug as such; you just needed to give more of a left margin in your CSS code! It is reasonable I think for the default to be right up against the text to the left of it. I have changed the syntax now to use something that I introduced a while ago, which may make it easier to do this, and in particular added more of a left margin.
Regarding vertical padding, there may be some default for divs. For now I’d rather not dig into that as it might affect other things, but one can use negative values in the CSS to get around it. I have tweaked it in this way in this case; I don’t know whether it is what you had in mind, but have a look.
Oh, i see. Thanks!
1 to 8 of 8