Skip to content

Commit e59778b

Browse files
authored
Merge pull request #1751 from maths/proof-styles
Proof styles
2 parents 462a66a + a5554a9 commit e59778b

2 files changed

Lines changed: 14 additions & 1 deletion

File tree

doc/en/Topics/Proof/Proof_styles.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,12 @@ We support the following CSS styles to enable consistent display of mathematical
44

55
Note, the precise style will also depend on the styles in your learning environment. The `class="proof"` styles focus on block structure and layout, e.g. indenting blocks and column layout. Colour and typeface are generally not specified in the proof styles (although a white background is defined). Styles are defined in `styles.css` of the top-level of the STACK plugin.
66

7+
### `<div class="statement">`
8+
9+
This class can be used to present the statement of a Theorem/Lemma/etc.
10+
11+
<div class="statement"><strong>Claim:</strong>\(\displaystyle \sum_{k=1}^n k = \frac{n(n+1)}{2}\)</div>
12+
713
### `<div class="proof">`
814

915
This class is a general high level container.

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)