margin: 10px 0
// Rules section:
-
-
-// Problems section:
-
-.newproblem-form input, .newproblem-form textarea
- width: 100%
-
-.emphasis
- font-style: italic
-
-#newpbInstructions
- margin-bottom: var(--universal-margin);
-
-.center-btn
- margin-left: 40%
-
-//TODO?
-.center-inline
- text-align: center
-.center-block
- margin-left: auto
- margin-right: auto
-
-.mistake-newproblem
- color: #663300
-
-#solution-div h3
- background-color: lightgrey
- padding: 3px 5px
-
-.newproblem-form, .newproblem-preview
- max-width: 90%
-
-#problemControls
- width: 75%
- margin: 0 auto
- @media screen and (max-width: 767px)
- width: 100%
- margin: 0
-
-.problem
- margin: 10px 0
-
-.only-mine
- background-color: yellow
- &:hover
- background-color: yellow
+// TODO