| 15:08 | <gsnedders> | Is there any way to do a media query based on device pixels and not CSS pixels? |
| 15:09 | <gsnedders> | resolution? |
| 16:01 | <gsnedders> | SimonSapin: https://github.com/html5lib/html5lib-tests/issues/19#issuecomment-39029223 |
| 16:02 | <gsnedders> | SimonSapin: The important part here is https://www.w3.org/Bugs/Public/show_bug.cgi?id=11298 |
| 16:08 | <SimonSapin> | thanks gsnedders |