From a6495f5a346147a95926c6f604200cc06deb7b9f Mon Sep 17 00:00:00 2001 From: Dan Allen Date: Sat, 12 Dec 2020 02:43:25 -0700 Subject: [PATCH] make the stretch role generic --- src/css/doc.css | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/css/doc.css b/src/css/doc.css index 4cec1d5..fbcc915 100644 --- a/src/css/doc.css +++ b/src/css/doc.css @@ -165,6 +165,10 @@ float: left; } +.doc .stretch { + width: 100%; +} + .doc .underline { text-decoration: underline; } @@ -199,10 +203,6 @@ /* table-layout: fixed; */ } -.doc table.stretch { - width: 100%; -} - .doc table.tableblock thead th { border-bottom: 2.5px solid var(--table-border-color); padding: 0.5rem; -- 2.11.0