Return a dimension if defined, or default otherwise
Return a dimension if defined, or null otherwise
null
Return a flag if defined, or default otherwise
Return a flag if defined, or null otherwise
Create a new theme by replacing or adding entries to this theme from an other theme.
Return a string if defined, or default otherwise
Return a string if defined, or null otherwise
Return a style if defined, or default otherwise
Return a style if defined, or null otherwise