var format_system =
[
[ "/device element", "format_device.html", "format_device" ],
[ "/resources element", "format_resources.html", "format_resources" ],
[ "/zones element", "format_zones.html", "format_zones" ]
];