bookmarks & tags: user texstyle