Difference between revisions of "MediaWiki:Common.css"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
.CodeMirror-lint-marker { | |||
background-position: center center; | |||
background-repeat: no-repeat; | |||
cursor: pointer; | |||
display: inline-block; | |||
height: 16px; | |||
width: 16px; | |||
vertical-align: middle; | |||
position: relative; | |||
} | |||
#shellbody, #shelljs{ | #shellbody, #shelljs{ | ||
display:none; | display:none; |
Revision as of 21:44, 7 August 2021
.CodeMirror-lint-marker {
background-position: center center;
background-repeat: no-repeat;
cursor: pointer;
display: inline-block;
height: 16px;
width: 16px;
vertical-align: middle;
position: relative;
}
#shellbody, #shelljs{
display:none;
}
.qu pre.usr, .qu pre.ans{
display:none;
}
.inputs, .outputs{
display: inline-block;
vertical-align:top;
}
.cm-container{
width:80ex;
border:solid thin black;
}
textarea.usr{
width:50ex;
height:20ex;
}