html, body, td { line-height: 200%; } dl, ol, ul, p, blockquote { line-height: inherit; } pre { line-height: 100%; } #side-menu, .tools, #toc { line-height: 130%; } #side-menu h1, #side-menu h2, #side-menu h3 { font-size: 110%; } .wiki-page-obsoleted { } h2:before { content: "★"; color: #9face6; background-color: transparent; } #side-menu h2:before { content: ""; } thead + tbody { max-height: 95%; overflow: auto; } tr:hover /*, col:hover */ { background-color: #EEEEEE; color: #555555; } /* CSS2 によれば col には color は指定できない。また、 Moz でも IE でも col への指定は反映されない。 */ td { empty-cells: show; } blockquote { margin-left: 0.2em; border-left: #d0e8e8 1em solid; padding-left: 0.5em; } dt { margin-bottom: 0; border-bottom: #dadff5 0.3em solid; padding-bottom: 0.1em; } dd { margin-left: 2em; margin-top: 0; margin-bottom: 0.1em; border-left-style: none; border-bottom: #dadff5 0.3em solid; padding-left: 0.5em; padding-bottom: 0.1em; } a.anchor { color: #0080ff; background-color: transparent; } #toc { width: 120px; } #toc ul { margin: 0; border-style: none; padding: 0; } #toc > ul { display: block; min-width: 75%; } #toc ul ul { margin: 0 0.5em 0 0.5em; border-style: 0; padding: 0; } #toc li { display: block; margin: 0.1em; border: #EEEEEE groove thin; padding: 0.1em; list-style: none; text-align: center; } #toc li:active { border-style: ridge; } /* アンカーを active にすると(ボタンを押したように) ridge にしたいけど、 CSS だけでは無理ぽ。 (XHTML2 で li/@href を使い、 li/a は無くしたらよさげ) */ #toc li a { display: block; } #toc h2 { display: none; } #toc, #tools1 { background-color: #EEEEEE; color: #555555; -moz-opacity: 0.3; filter: progid:DXImageTransform.Microsoft.Alpha(enable=true,opacity=30); } #toc:hover, #tools1:hover, #toc.MSIE.HOVER, #tools1.MSIE.HOVER { -moz-opacity: 0.99; filter: progid:DXImageTransform.Microsoft.Alpha(enable=false); } #toc.DRAGING, #tools1.DRAGING { cursor: move; } samp, code { font-family: "Courier New", "Courier", monospace; font-size: 100%; background-color: #f0e1ff; color: #4d4d4d; } strong { background-color: #f1f1fe; color: #ff0080; font-weight: normal; } em { background-color: #fdfdff; color: #c60000; font-style: normal; } textarea {line-height: 1.5; margin-left: 1.5%; margin-right: 1.5%} #edit textarea /* WinIE 対策 [name=we--content] */ /* page content in edit-form */ { height: 95%; width: 95%; } /* License: GNU GPL2 */