Improve diagram selector

[deanrather]

If a diagram has a name, it is shown in <small> in the diagram selector. The diagram ID is shown as the actual title...

This seems backwards.

It would be nice if the name were shown in the larger font, and the ID in the smaller font.

[deanrather]

Actually, it shows the name there if there is a name but no description. It shows the description there if there is both a name and a description.

Hmm.

[bensmithett]

Thanks, I'll give that menu some more thought. It's currently just my first "make it work" effort.