Chris@0: {#
Chris@0: /**
Chris@0:  * @file
Chris@0:  * Default theme implementation for a set of indentation divs.
Chris@0:  *
Chris@0:  * These <div> tags are used for drag and drop tables.
Chris@0:  *
Chris@0:  * Available variables:
Chris@0:  * - size: Optional. The number of indentations to create.
Chris@0:  *
Chris@0:  * @ingroup themeable
Chris@0:  */
Chris@0: #}
Chris@0: {% for i in 1..size if size > 0 %}<div class="js-indentation indentation">&nbsp;</div>{% endfor %}