/*Buttons restaurant*/
.menu-button
{
    background: transparent;
    font-family: josefin-sans-bold, serif;
    font-size: 1.4rem;
    color: #FFF!important;
    margin: 20px 0 0 0;
    line-height: 0;
    padding: 30px 10px 25px 10px;
    display: inline-block;
    cursor: pointer;
    width: 252px;
    margin-right: 12px;
    border: 2px solid rgba(255,255,255,0.5);
}
.menu-button:hover
{
    background-color: #fff;
    color: #32A0B2!important;
    -webkit-transition: all 0.35s ease;
    transition: all 0.35s ease;
    cursor: pointer;
    text-decoration: none;
}

/*
     FILE ARCHIVED ON 17:36:31 Oct 06, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:40:56 Aug 08, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.442
  exclusion.robots: 0.056
  exclusion.robots.policy: 0.048
  esindex: 0.037
  cdx.remote: 63.188
  LoadShardBlock: 237.896 (3)
  PetaboxLoader3.datanode: 187.256 (5)
  PetaboxLoader3.resolve: 540.925 (3)
  load_resource: 582.125 (2)
*/