Sets the top margin for text in @text_view.
Note that this function is confusingly named. In CSS terms, the value set here is padding.
top margin in pixels
See Implementation
Sets the top margin for text in @text_view.
Note that this function is confusingly named. In CSS terms, the value set here is padding.