These are Web Components in HTML Templates


Take a look at the page source, it's really worth it.