Viva hotel uses default WordPress gallery shortcode. Documentation about it can be found there http://codex.wordpress.org/Gallery_Shortcode

Large gallery

Medium gallery

Standard gallery

List of possible attributes: