You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Could have a local option that (manually) provides a vertical adjustment (e.g., a multiple of \baselineskip) to the \marginnote command used internally.
If one has multiple skeleton elements or notes on the same line, their numbers in the margin end up on top of each other.
The text was updated successfully, but these errors were encountered: