12:22 | <hsivonen> | Do I understand correctly that the ambiguous ampersand landed in the spec as an "editorial" changeset without a bug link? https://searchfox.org/whatwg-html/diff/71f8237e60a0a4b356ec5b75f6a7683f74b3900c/source#29968 |
15:29 | <Domenic> | No, it seems to have landed in 2007 by Hixie, before browser bugs were a thing. And it's not marked as editorial. This is a bit more obvious if you GitHub. https://github.com/whatwg/html/commit/71f8237e60a0a4b356ec5b75f6a7683f74b3900c |
15:31 | <Domenic> | Oh, maybe "[e]" means editorial, dunno. |
15:33 | <Ms2ger 💉💉> | Lemme check http://html5.org/tools/web-apps-tracker |
17:23 | <sideshowbarker> | sigh https://drafts.csswg.org/ wedged once again for the umpteenth time |
17:24 | sideshowbarker | goes off to file his umpteenth bug report about it |
17:24 | <sideshowbarker> | Groundhog Day |
17:25 | <DerekNonGeneric> | Where do we talk about CSS? |
17:25 | <sideshowbarker> | here I guess |
17:25 | <sideshowbarker> | as far as substantive discussions go |
17:25 | <sideshowbarker> | TabAtkins is here |
17:29 | <DerekNonGeneric> | made some progress w/ CSS in AMP; pull requests made, approved, merged, live and online (stable) |
17:41 | <DerekNonGeneric> | there was a problem w/ the scroll-padding-* i had mentioned the other day |
17:41 | <DerekNonGeneric> | so, we go that taken care of in https://github.com/ampproject/amphtml/issues/34378 |
17:42 | <DerekNonGeneric> | that issue is only half, but super nice to see how that all works |
17:43 | <DerekNonGeneric> | (have been out of the loop for a while, but no big deal) |
17:53 | <DerekNonGeneric> | oh yeah, the scroll-margin-* stuff too, but not really sure what that is for |
18:05 | <DerekNonGeneric> | MDN has some examples (thank you to whoever made those) https://developer.mozilla.org/en-US/docs/Web/CSS/scroll-margin-top |