Skip to content

Commit ebc4211

Browse files
Update styles.css
add .statement class (for theorems etc)
1 parent 462a66a commit ebc4211

1 file changed

Lines changed: 8 additions & 1 deletion

File tree

styles.css

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -216,6 +216,13 @@ div.stack-comment {
216216
}
217217

218218
/* Support for proof. */
219+
.statement {
220+
padding: 12px 16px;
221+
margin: 8px 0;
222+
border: 1px solid #ddd;
223+
border-radius: 6px;
224+
background-color: #fff;
225+
}
219226
.proof,
220227
.proof-block {
221228
text-align: left;
@@ -1285,4 +1292,4 @@ USE OR OTHER DEALINGS IN THE SOFTWARE.
12851292
.que .outcome,
12861293
.que .comment {
12871294
color: #44331b;
1288-
}
1295+
}

0 commit comments

Comments
 (0)