Bug fix: getDimension in board.js needs this.document as parameter.
Setting document: document in options.js led to too much recursion.