/* */ @charset "UTF-8";/*! Theme: Darkroom Author: Hatena Blog Team */html,body,div,span,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,abbr,address,cite,code,del,dfn,em,img,ins,kbd,q,samp,small,strong,sub,sup,var,b,i,dl,dt,dd,ol,ul,li,fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,article,aside,canvas,details,figcaption,figure,footer,header,hgroup,menu,nav,section,summary,time,mark,audio,video{margin:0;padding:0;border:0;outline:0;font-size:100%;vertical-align:baseline;background:transparent}body{line-height:1}article,aside,details,figcaption,figure,footer,header,hgroup,menu,nav,section{display:block}nav ul{list-style:none}blockquote,q{quotes:none}blockquote:before,blockquote:after,q:before,q:after{content:"";content:none}a{margin:0;padding:0;font-size:100%;vertical-align:baseline;background:transparent}ins{background-color:#ff9;color:#000;text-decoration:none}mark{background-color:#ff9;color:#000;font-style:italic;font-weight:700}del{text-decoration:line-through}abbr[title],dfn[title]{border-bottom:1px dotted;cursor:help}table{border-collapse:collapse;border-spacing:0}hr{display:block;height:1px;border:0;border-top:1px solid #cccccc;margin:1em 0;padding:0}input,select{vertical-align:middle}.centering{margin:0 auto}.hover{color:#ffe295;text-decoration:underline}::selection{background:#aaa}::-moz-selection{background:#aaa}body{background:#1c1c1c url(https://cdn.blog.st-hatena.com/css/theme/darkroom/headerdefaultimg.jpg?version=2789d874a2f9b79f9e81907e65b90f) repeat-x top center;font-family:Helvetica Neue,Helvetica,Univers,Arial,Hiragino Kaku Gothic Pro,Meiryo,MS PGothic,sans-serif}#globalheader-container{background:#000;color:#fff;width:100%}.service-menu li a{color:#fff}#container,#container-inner,#content,#box2,#footer{width:100%}#container{background:linear-gradient(to bottom,#0000 47%,#1110 50%,#171717,#1c1c1c 52%);filter:progid:DXImageTransform.Microsoft.gradient(startColorstr="#00000000",endColorstr="#1c1c1c",GradientType=0)}#blog-title{min-height:300px;position:relative;background:transparent url(https://cdn.blog.st-hatena.com/css/theme/darkroom/header-bg.png?version=2789d874a2f9b79f9e81907e65b90f) repeat-x bottom left}#blog-title-inner{background:#1c1c1c;min-width:300px;position:absolute;bottom:0;right:50%;margin:0 -460px;letter-spacing:2px}.header-image-enable #blog-title-inner,.header-image-only #blog-title-inner{position:absolute;top:0;left:50%;width:880px;height:300px;background:none;margin:145px 0 0 -440px}#title{padding:20px 20px 0 40px;text-align:right}#title a{color:#fff;font-family:Courier;font-size:24px;text-decoration:none}#blog-description{color:#aaa;padding:9px 20px 0 40px;text-align:right;font-size:13px;font-weight:400}#content{overflow:hidden}#content-inner{background:#1c1c1c;position:relative}#wrapper{border-bottom:1px solid #000;padding:0 20px}#main{max-width:920px;margin:0 auto;padding:35px 0 0}.entry{color:#aaa;padding:0 0 150px;max-width:880px;margin:0 auto}.entry.sleeping-ads{padding-bottom:0}.entry-header{position:relative;background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/entryheader-border.gif?version=2789d874a2f9b79f9e81907e65b90f) repeat-x bottom left;overflow:hidden;clear:both;margin:0 0 20px}.date a,.entry-title a{color:#fff}.date{margin:0 0 4px}.date a{font-family:Courier;font-size:14px;letter-spacing:2px;text-decoration:none;background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/camera.gif?version=2789d874a2f9b79f9e81907e65b90f) no-repeat 2px 3px;padding:0 0 0 23px}.date .hyphen{display:none}.date-year,.date-month,.date-day{margin:0 3px 0 0}.entry-title{margin:0 0 10px}.entry-title a{font-size:18px;letter-spacing:2px;text-decoration:none;line-height:1.5;vertical-align:top}.categories{position:absolute;top:0;right:0}.categories a{font-size:14px;text-decoration:none;color:#aaa}.categories a:hover{color:#ffe295;text-decoration:underline}.entry-header-menu{position:absolute;bottom:10px;right:0}.entry-header-menu a{font-size:14px;text-decoration:none;color:#ffe295}.entry-header-menu a:hover{color:#ffe295;text-decoration:underline}.entry-content{font-size:15px;line-height:1.8}.entry-content h1{padding:40px 0 10px;color:#fff;font-size:22px}.entry-content h1 a{color:#fff!important}.entry-content h2{padding:40px 0 10px;color:#fff;font-size:20px}.entry-content h2 a{color:#fff!important}.entry-content h3{padding:40px 0 10px;color:#fff;font-size:18px}.entry-content h3 a{color:#fff!important}.entry-content h4{padding:40px 0 10px;color:#fff;font-size:16px}.entry-content h4 a{color:#fff!important}.entry-content h5{padding:40px 0 10px;color:#fff}.entry-content h5 a{color:#fff!important}.entry-content h6{padding:20px 0 10px;color:#aaa}.entry-content h6 a{color:#aaa!important}.entry-content p{font-size:15px;line-height:1.8;font-family:Lucida Grande,Lucida Sans Unicode,sans-serif;margin:0 0 10px}.entry-content ul,.entry-content ol{padding:20px 0 10px;margin:0 0 0 1.5em}.entry-content ul li ul,.entry-content ol li ul,.entry-content ul li ol,.entry-content ol li ol{padding:5px 0 10px}.entry-content table{margin:20px 0 10px}.entry-content tr th{border-bottom:1px solid #555;padding:10px 20px 5px 15px;background:#000;text-align:left}.entry-content tr td{border-bottom:1px solid #555;padding:10px 20px 15px 15px}.entry-content dd{margin:0 0 0 2em}.entry-content blockquote{border-top:1px dotted #555;border-bottom:1px dotted #555;padding:19px 20px;overflow:hidden;clear:both;font-style:italic;margin:0 30px}.entry-content blockquote cite{text-align:right;margin:10px 0 0;float:right;font-size:14px;font-style:normal}.entry-content img{max-width:100%;border-top:14px solid #000;border-right:15px solid #000;border-bottom:15px solid #000;border-left:14px solid #000;margin:10px 0 0 -15px}.entry-content img[style]{margin:10px 15px 0 -15px}.entry-content img.hatena-image-left{margin:0 15px 0 -15px}.entry-content img.hatena-image-right{margin:0 -15px 0 15px}.entry-content .http-bookmark,.entry-content .http-star{border:none;margin:0}.entry-content pre{background:#000;padding:14px 15px;max-width:670px;margin-bottom:10px}.entry-content a{color:#aaa}.entry-content a:hover{color:#ffe295}.entry-content .keyword{color:#aaa;text-decoration:none;border-bottom:1px solid #333}.entry-content .keyword:hover{color:#ffe295;border-bottom:1px solid #ffe295}.entry-footer{max-width:700px}.entry-footer a{color:#aaa}.entry-footer-section{padding:30px 0 0;font-size:14px}.entry-footer-time a{text-decoration:none}.entry-footer-time a:hover{color:#ffe295;text-decoration:underline}.hatena-star-container,#google_afc_user{padding:10px 0 0}#google_afc_user_container{margin:0!important}.customized-footer{padding:20px 0}.comment-box{padding:10px 0 0}.comment-box ul{border-top:1px solid #333;margin:0 0 20px}.comment-box li{list-style-type:none;border-bottom:1px solid #333;padding:15px 0 30px;counter-increment:cnt;position:relative}.comment-box li:before{content:counter(cnt);position:absolute;top:10px;right:0;font-size:30px;color:#333}.comment-box .read-more-comments:before{content:none}.read-more-comments{padding:0!important}.read-more-comments a{padding:15px 0;display:block;vertical-align:bottom;margin:0}.read-more-comments a:hover{background:#000;color:#ffe295}.comment-content{margin:10px 0;line-height:1.5;font-size:14px;font-family:Lucida Grande,Lucida Sans Unicode}.comment-metadata{font-style:italic;font-size:13px}.leave-comment-title:hover{color:#ffe295}.pager{overflow:hidden}.pager-next{float:right;margin:0 0 20px}.pager-next a{color:#aaa;background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/next.gif?version=2789d874a2f9b79f9e81907e65b90f) no-repeat center right;padding:23px 20px 20px;font-size:14px;text-decoration:none;display:block;letter-spacing:1px}.pager-next a:hover{color:#ffe295}.pager-prev{float:left;margin:0 0 20px}.pager-prev a{color:#aaa;background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/prev.gif?version=2789d874a2f9b79f9e81907e65b90f) no-repeat center left;padding:23px 20px 20px;font-size:14px;text-decoration:none;display:block;letter-spacing:1px}.pager-prev a:hover{color:#ffe295}#box2{background:#000;border-top:1px solid #333}#box2-inner{max-width:920px;overflow:hidden;padding:0 0 80px;margin:0 auto}#box2-inner a{text-decoration:none;border-bottom:1px solid #333}#box2-inner a:hover{color:#ffe295;border-bottom:1px solid #ffe295}#box2-inner .hatena-module{margin:40px 0 40px 20px;float:left;width:205px}#box2-inner .hatena-module-body li{list-style-type:none;margin:0 0 10px}.hatena-module{display:block;margin-bottom:40px}.hatena-module:nth-of-type(4n+1){clear:both}.hatena-module-title{color:#aaa;font-size:14px;font-weight:700;margin:0 0 10px;letter-spacing:1px}.hatena-module-title a{color:#aaa}.hatena-module-body{font-size:12px;color:#aaa}.hatena-module-body a{color:#aaa;line-height:1.8}.hatena-module-body li{list-style-type:none;margin:0 0 15px}.hatena-module-body .profile-icon{clear:both;display:block;margin:15px 0 5px}.profile-description{line-height:1.5;padding:3px 0 5px;width:156px}.hatena-module-recent-comments{padding:0 20px 0 0;width:185px}.hatena-module-recent-comments li{color:#aaa}.hatena-module-recent-comments li .recent-comment-time{color:#fff!important;padding:0 2px}.hatena-module-search-box{padding:5px 0 0}.search-module-input{background:#000;border:1px solid #555;color:#fff;font-size:14px;line-height:1;height:24px;margin:0;padding:4px 0 4px 6px;width:140px}.search-module-input:focus{outline:none}.search-module-button{background:#333;color:#fff;border:1px solid #555;font-size:14px;line-height:1;height:34px;padding:5px 7px;margin:0}.search-module-button:hover{border:1px solid #ffe295;color:#ffe295}.archive-module-calendar a{color:#ffe295!important}#bottom-editarea{max-width:920px;margin:0 auto;padding:20px 20px 10px;overflow:hidden;width:880px;color:#aaa}#bottom-editarea a{color:#aaa}#footer{background:#1c1c1c;color:#aaa;font-size:14px}#footer a{color:#aaa;text-decoration:none;border-bottom:1px solid #333}#footer a:hover{color:#ffe295;text-decoration:underline}#footer-inner{max-width:920px;margin:1em auto;padding:10px 0 13px}#footer-inner address,#footer-inner .services{font-size:12px;color:#333}#footer-inner address a,#footer-inner .services a{color:#555;text-decoration:none}#footer-inner address a:hover,#footer-inner .services a:hover{color:#ffe295;text-decoration:underline}address{float:left}address img{margin:0 3px -6px 0}.services{padding:1px 0 0}.hatena-id-icon img{border:none;margin:0}@media(-webkit-min-device-pixel-ratio:2){.entry-header{background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/entryheader-border@2x.gif?version=2789d874a2f9b79f9e81907e65b90f) repeat-x bottom left;background-size:4px 3px}.date a{background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/camera@2x.gif?version=2789d874a2f9b79f9e81907e65b90f) no-repeat 2px 3px;background-size:13px 10px}.pager-next a{background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/next@2x.gif?version=2789d874a2f9b79f9e81907e65b90f) no-repeat center right;background-size:10px 19px}.pager-prev a{background:url(https://cdn.blog.st-hatena.com/css/theme/darkroom/prev@2x.gif?version=2789d874a2f9b79f9e81907e65b90f) no-repeat center right;background-size:10px 19px}}.page-about img{border:none}.page-about dl{border-bottom:1px solid #333}.page-about dt{float:left;width:144px;border-top:1px solid #333;padding:15px 20px 30px 16px;background:#000;font-weight:700;letter-spacing:1px;clear:both}.page-about dd{width:auto;padding:15px 0 30px 20px;border-top:1px solid #333;overflow:hidden}.page-about dd .profile-icon{margin:0}#top-editarea{display:block;padding:40px 0 0;color:#aaa;background:#1c1c1c;overflow:hidden}#top-editarea *{width:880px;padding:0 20px;margin:0 auto}#top-editarea a{color:#aaa;margin:0 5px 0 0}#top-editarea a:hover{color:#ffe295}#top-box{display:block;padding:40px 0 0;background:#1c1c1c;overflow:hidden;z-index:8100;color:#555}#top-box .breadcrumb{width:880px;margin:0 auto;text-align:right;font-size:14px}#top-box a{color:#555}#top-box a:hover{color:#ffe295}#top-box span,.page-archive{color:#aaa}.page-archive a{color:#fff}.page-archive .google_afc_blocklink{margin:30px auto 0;max-width:880px}.page-archive .archive-entry{margin:30px auto 0;border-top:1px solid #555;padding:15px 0 0;max-width:880px;position:relative}.page-archive .archive-entry h1{margin:0 0 10px}.page-archive .archive-entry h1 a{text-decoration:none;font-weight:400;font-size:18px;font-family:Courier;letter-spacing:2px;color:#fff}.page-archive .archive-entry .categories{font-weight:400}.page-archive .archive-entry li{list-style-type:none;margin-bottom:7px}.page-archive #main-inner{padding:0 0 200px}.page-archive #main-inner p{color:#aaa;max-width:880px;margin:0 auto;line-height:1.8}.page-archive #main-inner ul li{position:relative} /* */ article.my_article { padding: 0px; font-family: "Computer Modern Serif", sans-serif; background: black; color: white; } article.my_article>div.definition{ background-color: rgba(97, 11, 11, 0.767); } article.my_article>div.sentence>p.以下に箇条書き, article.my_article>div.definition>p.以下に箇条書き { margin-bottom: 0px; } article.my_article>div.sentence>p, article.my_article>div.definition p { text-indent: 1em; margin-top: 5px; margin-bottom: 5px; padding-top: 5px; padding-bottom: 5px; } article>div.sentence, article>div.cite, article>div.definition, article>div.proposition { border: solid white 1pt; border-radius: 5px; padding: 5px; padding-left: 10px; } .under { border-bottom: solid 1px #ffffff; /* text-decoration: underline; */ } .idk { /* 証明の行間を埋めれない時 */ text-decoration: underline wavy red; } /* 中央揃え start */ div.centering { text-align: center; margin-top: 0px; margin-bottom: 0px; padding-top: 0px; padding-bottom: 0px; } div.centering>table { display: inline-block; margin-top: 0px; margin-bottom: 0px; padding-top: 0px; padding-bottom: 0px; } div.centering>table th { font-weight: normal; text-align: center; } div.centering>table td { border: none; /* はてなブログではデフォルトで罫線が引かれている */ margin-top: 0px; margin-bottom: 0px; padding-top: 0px; padding-bottom: 0px; vertical-align: middle; } div.centering>table.定義リスト td:nth-child(1) { text-align: right; } div.centering>table.定義リスト td:nth-child(2) { text-align: center; padding-left: 0px; padding-right: 3px; } div.centering>table.定義リスト td:nth-child(3) { text-align: left; /* vertical-align: top; */ } div.centering>table.長い定義リスト tr:nth-child(odd) { text-align: left; } div.centering>table.長い定義リスト tr:nth-child(even) { text-align: right; } /* 中央揃え end */ article.my_article div.sentence ol, article.my_article div.definition ol, article.my_article div.definition ul, article.my_article div.proposition ol, article.my_article div.proposition ul, article.my_article details.proof ul { margin-top: 0px; margin-bottom: 0px; padding-top: 0px; padding-bottom: 0px; } details.proof ul ul, details.proof ul ol { margin-top: inherit; margin-bottom: inherit; padding-top: inherit; padding-bottom: inherit; } div.definition ul { list-style-type: circle; } details.proof ul, details.subproof ul { list-style-type: disc; } details.proof>*:not(summary) { padding-left: 40px; /* 40なら、証明内の行頭に(i)をinsert_stringしても'('と記事の外枠が重ならない。30なら、重なる。 */ /* でも、記事の外枠を作らなかったら、30でもイケる？ */ } details.subproof>*:not(summary), details li > ul { /* ｢←
  • ◯◯の場合: