Skip to content
Snippets Groups Projects
Commit 32afdb93 authored by Chris Sangwin's avatar Chris Sangwin
Browse files

Code tidy.

parent 529e3218
Branches
No related tags found
No related merge requests found
......@@ -137,17 +137,21 @@ body.pagelayout-embedded .que.stack .formulation .questiontestslink {
padding: 2px;
margin: 2px;
}
.proof-step, .proof-column, .proof-column-2 {
.proof-step,
.proof-column,
.proof-column-2 {
float: left;
padding: 1px;
}
/* Proof columns have a fixed width. Comments and steps do not. */
.proof-column, .proof-column-2 {
.proof-column,
.proof-column-2 {
width: 48%;
}
.proof-column-2 {
background: rgba(255, 255, 255, 0.7);
}
@media screen and (max-width: 900px) {
.proof-column {
width: 100%;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment