var class_bookmark_properties =
[
    [ "color", "class_bookmark_properties.html#a8fd899931f5b71819534c9bb7030cace", null ],
    [ "destination", "class_bookmark_properties.html#a7c441be20d9ff6a8cd2bef3073668fed", null ],
    [ "style", "class_bookmark_properties.html#abe517d7edaf9231ee3fbfca612b21acf", null ],
    [ "title", "class_bookmark_properties.html#ad5759435a3d337c23e11597d3daef528", null ]
];