As big as Marin County is, it’s still remarkable that ... whose attributes are summed up nicely by the names of its two main lakeside trails: Shadyside Trail and Sunnyside Trail.