Hacker News new | ask | show | jobs
by niutech 4275 days ago
Sure, these are custom elements, which are just HTML/JS/CSS files. What's more, they are interchangeable with other ones found at http://customelements.io/