/* Page-specific styles for html.html */
@import url('style.css');

/* HTML notes overrides */
.note-box { }