# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJan 31st 2020

1. Complete with nLab T-shirt! Is the latter a homegrown invention of Domenico, or have they been silently taking over the world?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeFeb 1st 2020

He says his students gave him the shirt.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeFeb 1st 2020
• (edited Feb 1st 2020)

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.

• CommentRowNumber5.
• CommentAuthorTim_Porter
• CommentTimeFeb 1st 2020

For what its worth, I get the same effect on a MacBook with Firefox, Safari and Chrome, and on an iPad with Safari.

• CommentRowNumber6.
• CommentAuthorDavidRoberts
• CommentTimeFeb 1st 2020

• CommentRowNumber7.
• CommentAuthorRichard Williamson
• CommentTimeFeb 2nd 2020
• (edited Feb 2nd 2020)

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.

• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeFeb 2nd 2020

Oh, i see. Thanks!