RubyGems Navigation menu

metanorma-ogc 0.2.3