/* style: man */
:root{
	--font1: 0.8571rem;
	--font2: 1rem;
	--font3: 1.2rem;
	--margin-left: 8ex;
	--padding-right: 9ex;
	--padding-left: 4ex;
	--margin-bottom-h2: 0px;
	--margin-left-dd: 9ex;
}

@media screen and (max-width: 150ex) {
	:root {
		--margin-left: 4ex;
		--padding-right: 4ex;
		--padding-left: 2ex;
	}
}

@media screen and (max-width: 60ex) {
	:root {
		--margin-left: 2ex;
		--padding-right: 2ex;
		--padding-left: 2ex;
		--margin-bottom-h2: 2ex;
		--margin-left-dd: 0;
	}
}

/* 添加在CSS文件的顶部，在其他 .mp 样式之前 */
.mp {
	margin: 0 auto; /* 确保始终居中 */
	padding: 20px; /* 可选：添加内边距 */
	box-sizing: border-box; /* 可选：包含内边距在宽度内 */
}


body#manpage {margin:0}
.mp {max-width:120ex;padding:0 var(--padding-right) 1ex var(--padding-left)}
.mp p,.mp pre,.mp ul,.mp ol,.mp dl {margin:0 0 20px 0}
.mp h2 {margin:10px 0 var(--margin-bottom-h2) 0}
.mp > p,.mp > pre,.mp > ul,.mp > ol,.mp > dl {margin-left:var(--margin-left);}
.mp h3 {margin:0 0 0 4ex}
.mp dt {margin:0;clear:left}
.mp dt.flush {float:left;width:8ex}
.mp dd {margin:0 0 0 var(--margin-left-dd)}
.mp h1,.mp h2,.mp h3,.mp h4 {clear:left}
.mp pre {margin-bottom:20px}
.mp pre+h2,.mp pre+h3 {margin-top:22px}
.mp h2+pre,.mp h3+pre {margin-top:5px}
.mp img {margin:auto;}
.mp h1.man-title {display:none}
.mp,.mp code,.mp pre,.mp tt,.mp kbd,.mp samp,.mp h3,.mp h4 {font-family:monospace;font-size:var(--font1);line-height:1.42857142857143}
.mp h2 {font-size:var(--font2);line-height:1.25}
.mp h1 {font-size:var(--font3);line-height:2}
.mp {text-align:justify;background:#fff}
.mp,.mp code,.mp pre,.mp pre code,.mp tt,.mp kbd,.mp samp {color:#131211}
.mp h1,.mp h2,.mp h3,.mp h4 {color:#030201}
.mp u {text-decoration:underline}
.mp code,.mp strong,.mp b {font-weight:bold;color:#131211}
.mp em,.mp var {font-style:italic;color:#232221;text-decoration:none}
.mp a,.mp a:link,.mp a:hover,.mp a code,.mp a pre,.mp a tt,.mp a kbd,.mp a samp {color:#0000ff}
.mp b.man-ref {font-weight:normal;color:#434241}
.mp pre {padding:0 4ex}
.mp pre code {font-weight:normal;color:#434241}
.mp h2+pre,h3+pre {padding-left:0}



ol.man-decor,ol.man-decor li {margin:3px 0 10px 0;padding:0;float:left;width:33%;list-style-type:none;text-transform:none;color:#999;letter-spacing:1px}
ol.man-decor {width:100%}
ol.man-decor li.tl {text-align:left}
ol.man-decor li.tc {text-align:center;letter-spacing:4px}
ol.man-decor li.tr {text-align:right;float:right}


/* 底部专用样式 - 新增 tr2 和 tc2 */
ol.man-decor li.tr2 {
	text-align: right;
	float: right;
	font-size: 9px;
	width: 50%; /* 占据右侧50% */
	letter-spacing: normal;
	box-sizing: border-box;
	line-height: 20px; /* 设置与容器高度相同的行高 */
	height: 20px;
}

ol.man-decor li.tc2 {
	text-align: center;
	position: absolute;
	left: 50%;
	white-space: nowrap; /* 防止文字换行 */
	font-size: 13px; /* 字号改为13px */
	transform: translateX(-50%);
	width: auto;
	max-width: 40%; /* 限制最大宽度，避免与右侧重叠 */
	white-space: nowrap; /* 防止文字换行 */
}

/* 确保底部的装饰列表也应用这些样式 */
ol.man-foot li.tr2,
ol.man-foot li.tc2 {
	text-align: right;
	float: right;
	font-size: px;
	width: 50%;
	letter-spacing: normal;
	box-sizing: border-box;
	line-height: 20px;
	height: 20px;
}

/* 如果底部有专门的容器，可以这样设置 */
ol.man-foot li.tc2 {
	text-align: center;
	position: absolute;
	left: 50%;
	transform: translateX(-50%);
	width: auto;
	max-width: 40%;
	white-space: nowrap;
	float: none; /* 清除浮动以便绝对定位生效 */
}


/* style: toc */
.man-navigation {display:block;position:fixed;top:0;left:113ex;height:100%;width:100%;padding:48px 0 0 0;border-left:1px solid #dbdbdb;background:#eee}
.man-navigation a,.man-navigation a:hover,.man-navigation a:link,.man-navigation a:visited {display:block;margin:0;padding:5px 2px 5px 30px;color:#999;text-decoration:none}
.man-navigation a:hover {color:#111;text-decoration:underline}


span.code a, span.code a:hover {font-family:monospace;font-size:var(--font1);line-height:1.42857142857143;font-weight:bold;color:#131211;text-decoration: none}

.lambdaexpr {color: #666;}
.lambdaexpr       .lambdaf::before {content: "(";}
.lambdaexpr       .lambdaf::after {content: ")";}
.lambdaexpr:hover .lambdaf::before {content: "";}
.lambdaexpr:hover .lambdaf::after {content: "";}

.lambdaexpr:hover .vars {display: none;}
.lambdaexpr:hover .varx        {visibility: hidden;}
.lambdaexpr:hover .varx::after {content: "gehaowu";visibility: visible;}
.lambdaexpr:hover .vary        {visibility: hidden;}
.lambdaexpr:hover .vary::after {content: "bitmoe";visibility: visible;}
.lambdaexpr:hover .term {visibility: hidden;}

img.scrot {
  width: 300px;
  float: left;
  margin: 10px;
  margin-left: 0px;
}

.light-gray {color: #777;}
a img {text-decoration:none;}
img.logo {
	height: 0.95em; margin-right: 5px;
}

@media screen and (max-width: 140ex) {
	.man-navigation {
		display: none;
	}
	.mp {
		margin: 0 auto; /* 确保小屏幕也居中 */
		padding: 0 15px; /* 可选：添加一些内边距 */
	}
}
/* @media screen and (max-width: 140ex) {
	.mp dt.flush {
		float:initial;
		width:initial
	}
} */
@media screen and (min-width: 140ex) {
	.lambdaexpr br {
		display: none; /* hide the BR tag for wider screens (i.e. disable the line break) */
	}
	.mp {
		max-width:100ex;
		margin: 0 auto;
	}
}