From af505e8a7458c467b418902b5860e3e1edebd1c4 Mon Sep 17 00:00:00 2001 From: andypaicu Date: Tue, 10 Jul 2018 11:18:22 +0200 Subject: [PATCH] Un-deprecated child-src (#313) * Un-deprecated child-src * tests added in https://github.com/web-platform-tests/wpt/pull/11838 --- index.html | 162 ++++++++++++++++++++++++------------------------- index.src.html | 35 +++++------ 2 files changed, 93 insertions(+), 104 deletions(-) diff --git a/index.html b/index.html index 7264843851..612d13170a 100644 --- a/index.html +++ b/index.html @@ -1058,9 +1058,10 @@ comprising the first items of each top-level section. */ margin-top: 1.1rem; } - #toc .secno { + #toc#toc .secno { /* Ugh, need more specificity to override base.css */ grid-column: 1; width: auto; + margin-left: 0; } #toc .content { grid-column: 2; @@ -1211,9 +1212,9 @@ } } - + - +