// This is how the skips are normally defined by LaTeX.
// But there should be some way to change this per document.
case SMALLSKIP:
// This is how the skips are normally defined by LaTeX.
// But there should be some way to change this per document.
case SMALLSKIP: