src/modules/inactive/commands/aryeh_implementation.js
function isIndentationElement(node) {
	if (!isHtmlElement(node)) {
		return false;
	}

	if (node.tagName == "BLOCKQUOTE") {
		return true;
	}

	if (node.tagName != "DIV") {
		return false;
	}

	for (var i = 0; i < node.style.length; i++) {
		// Approximate check
		if (/^(-[a-z]+-)?margin/.test(node.style[i])) {
			return true;
		}
	}

	return false;
}
function isIndentationElement(node) {
	if (!isHtmlElement(node)) {
		return false;
	}

	if (node.tagName == "BLOCKQUOTE") {
		return true;
	}

	if (node.tagName != "DIV") {
		return false;
	}

	for (var i = 0; i < node.style.length; i++) {
		// Approximate check
		if (/^(-[a-z]+-)?margin/.test(node.style[i])) {
			return true;
		}
	}

	return false;
}
function isIndentationElement ( node ) { if ( ! isHtmlElement ( node ) ) { return false ; } if ( node . tagName == "BLOCKQUOTE" ) { return true ; } if ( node . tagName != "DIV" ) { return false ; } for ( var i = 0 ; i < node . style . length ; i ++ ) { // Approximate check if ( / ^(-[a-z]+-)?margin / . test ( node . style [ i ] ) ) { return true ; } } return false ; }
"An indentation element is either a blockquote, or a div that has a style attribute that sets "margin" or some subproperty of it."
An indentation element is either a blockquote or a div that has a style attribute that sets margin or some subproperty of it .