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

60 바이트 추가됨 ,  2023년 10월 7일 (토)
편집 요약 없음
편집 요약 없음
편집 요약 없음
10번째 줄: 10번째 줄:


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


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