MediaWiki:Common.css: Difference between revisions
		
		
		
		Jump to navigation
		Jump to search
		
No edit summary  | 
				No edit summary  | 
				||
| 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;
}