미디어위키:Vector.css: 두 판 사이의 차이

15 바이트 제거됨 ,  2023년 10월 7일 (토)
편집 요약 없음
편집 요약 없음
편집 요약 없음
태그: 되돌려진 기여
9번째 줄: 9번째 줄:
}
}


.wikiEditor-ui .ace_editor { /* CodeEditor 편집기 */
.ace_editor { /* CodeEditor 편집기 */
font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
font: 12px/normal 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
}
}


/* [[분류:위키 인터페이스 문서]] */
/* [[분류:위키 인터페이스 문서]] */