We used design extender. We just manually added a few .css updates with media queries to make them responsive. Even though the design extender menus and page designs aren't responsive, since they are pure .css they are relatively easy to modify and make responsive.