diff --git a/style.css b/style.css index d7b53e8..d8f2c35 100644 --- a/style.css +++ b/style.css @@ -645,6 +645,10 @@ ol li ol li ol { margin-left: 20px; margin-bottom: 5px; } +.constrainfigure { + text-align: center; + width: 65%; +} .block[data-taxon="Example"]:hover { background-color: rgba(133, 217, 102, 0.19); } @@ -657,6 +661,12 @@ ol li ol li ol { .block[data-taxon="Warning"] { background-color: rgba(255, 100, 0, 0.08); } +.block[data-taxon="Counterexample"]:hover { + background-color: rgba(255, 100, 0, 0.16); +} +.block[data-taxon="Counterexample"] { + background-color: rgba(255, 100, 0, 0.08); +} .block[data-taxon="Problem"]:hover { background-color: rgba(255, 100, 0, 0.16); }