mordant/com.github.ajalt.mordant.rendering/Theme/dimension

dimension

fun dimension(dimension: String, default: Int = 0): Int

Return a dimension if defined, or default otherwise