/* monobook/monobook.css
 *
 * See PHP for credits and license
 */
html {
  min-height: 100%;
} 
body {
  font-size: 14px;
  font-family: Inter, Verdana, 'Helvetica Neue', 'sans serif';
  background: url("../wave-trans.png") 0 0 repeat-x, linear-gradient(#fff 256px, #ddd);
  color: black;
  margin: 0 auto;
  padding: 0;
  max-width: 1250px;
}
#globalwrapper {
  width: 100%;
  margin: 0;
  padding: 0;
}
#content {
  margin: 0 0 0.6em 12.2em;
  float: none;
  overflow:auto;
  padding: 3px;
}

#contentbody {
  padding: 0 1em 1.5em 1em;
  background: white;
  box-shadow: 0 0 4px #AAA;
  border-right: none;
  border-top: none;
  line-height: 1.5em;
  position: relative;
  margin-right: 0;
}

#header {
  margin: 1.3em 0 0 0;
  border-bottom: 1px solid #aaa;
}

#tabs {
  width: 100%;
}

#tabs ul {
  padding: 3px 0 0 1em;
  margin-left: 0; 
  border-bottom: 1px solid #aaa; 
  font-size: 12px;
}
#tabs ul li {
  list-style: none;
  margin: 0; 
  display: inline; 
}
#tabs ul li * {
  padding: 3px 0.5em 2px 0.5em;
  margin-left: 3px;
  border: 1px solid rgba(255,255,255,0);
  border-bottom: 1px solid #aaa;
  background: white;
  text-decoration: none;
  color: #002bb8;
  display: inline;
  transition: border 0.25s;
}
#tabs ul li p {
  color: black;
}
#tabs ul li a:link:hover,
#tabs ul li a:visited:hover {
  border-bottom: 2px solid white;
  border: 1px solid #ddd;
}
#tabs ul li *#active {
  border: 1px solid #aaa;
  border-bottom: 2px solid white;
  position: relative;
  z-index: 1;
}
#tabs .vspace {
  display: none;
}

#pageleft {
  left: 0;
  top: 0;
  width: 14em;
  float: left;
}

#pagelogo {
  top: 0;
  left: 0;
  height: 155px;
  width: 12em;
  overflow: visible;
  float: left;
}
#pagelogo a,
#pagelogo a:hover {
  display: block;
  height: 155px;
  width: 12.2em;
  background-repeat: no-repeat;
  background-position: 50% 50% !important;
  background-size: contain;
  text-decoration: none;
}

#pageleftcontent {
  padding-top: 20px;
  width: 100%;
  overflow: hidden;
}

.pageleftbody {
  margin: 0.6em 0 0 0.5em;
  font-size: 95%;
  padding: 0 0.8em 0.3em 0.5em;
  overflow: hidden;
}
.pageleftbody h1,
.pageleftbody h2,
.pageleftbody h3,
.pageleftbody h4 {
  margin: 0;
  padding: 0;
  font-size: 1.2em;
}
.pageleftbody ul {
  line-height: 1.6em;
  list-style: none;
  font-size: 100%;
  padding: 0.5em;
}
.pageleftbody li {
  padding: 0;
  margin: 0 0 0 -1em;
}
.pageleftbody input { font-size: 95%; }

.pageleftbody form {
  margin: 0;
  line-height: 1.5em;
}
#sidesearch input.searchbox { width: 8.5em; }

#rightbody {
  padding-top: 1em;
  float: right;
}

#print {
  padding-top: 0.1em;
  padding-bottom: 3px;
  text-align: right;
  font-size: 90%;
}
#print a:hover {
  border: 1px dotted #aaaaaa;
  text-decoration: none;
}
#print a {
  padding: 1px;
  padding-right: 2px;
  border: 1px solid white;
}
#print img {
  border: 0;
  margin: 0;
  vertical-align: middle;
}

#rightbar {
  margin: 0.3em 0 0.25em 0.5em;
  padding: 0.2em 0.5em;

  border: 1px solid #ffad80;
  background-color: #fff7cb;
  font-size: 90%;
  line-height: 1.2em;
}
#rightbar ul {
  list-style-type: square;
  list-style-image: url("required.gif");
}
#rightbar li {
  line-height: 1.2em;
}
.rb-none   { width: 0;
           visibility: hidden; }
.rb-narrow { width: 12em; }
.rb-normal { width: 17em; }
.rb-wide   { width: 22em; }

#footer {
  border: none;
  margin: 0.6em 0 1em 0;
  padding: 0.4em 0;
  font-size: 90%;
  position: relative;
  text-align: center;
}
#footer ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}
#footer li {
  display: inline;
  margin: 0 1.3em;
}
#footer .navbox a {
  padding: 0 3px;
  border: 1px dotted #002bb8;
}
#footer .navbox a:hover {
  text-decoration: none;
  border: 1px solid #002bb8;
}
#footer .navbox a:visited,
#footer .navbox a:active { color: #002bb8; }

.titlepage {
	margin-bottom: 0.5em;
	clear: none;
}

a {
  text-decoration: none;
  color: #0645AD;
  background: none;
}
a:visited { color: #5a3696; }
a:active { color: #ffa500; }
a:hover { text-decoration: underline; }

hr {
  height: 1px;
  color: #aaaaaa;
  background-color: #aaaaaa;
  border: 0;
  margin: 0.2em 0 0.2em 0;
}

h1, h2, h3, h4, h5, h6 {
  color: black;
  background: none;
  font-weight: normal;
  margin: 0 0 10px 0;
  padding-top: 0.5em;
  padding-bottom: 0.17em;
  border-bottom: 1px solid #aaaaaa;
}
h1, h2 {
  clear:both;
  font-family: Georgia, serif;
}
h3, h4, h5, h6 {
  border-bottom: 0;
  font-weight: bold;
}
h1 { font-size: 200%; }
h2 { font-size: 140%; }
h3 { font-size: 115%; }
h4 { font-size: 100%; }
h5 { font-size: 900%; }
h6 { font-size: 80%;  }

ul {
  line-height: 1.5em;
  list-style-type: square;
  margin: 0.3em 0 0 1.5em;
  padding: 0;
  list-style-image: url("bullet.gif");
}
ul.historylist {
  list-style-image: none;
}
ol {
  line-height: 1.5em;
  margin: 0.3em 0 0 3.2em;
  padding:0;
  list-style-image: none;
}
li { margin-bottom: 0.1em; }
dt {
  font-weight: bold;
  margin-bottom: 0.1em;
}
dl {
  margin-top: 0.2em;
  margin-bottom: 0.5em;
}
dd {
  line-height: 1.5em;
  margin-left: 2em;
  margin-bottom: 0.1em;
}
code { background-color: #f9f9f9; }
pre {
  padding: 1em;
  color: black;
  background-color: #f9f9f9;
  line-height: 1.1em;
  clear: both;
}

a.urllink {
  background: url(external.png) center right no-repeat;
  padding-right: 13px;
}

a.createlinktext,
a.createlinktext:visited {
  color: red;
  border-bottom: none;
}
a.createlink,
a.createlink:visited {
  left: 2px;
  top: 2px;
}

.sidehead {
  color: black;
  background: none;
  font-weight: normal;
  margin: 0.2em 0 0 0;
  border-bottom: 1px solid #aaaaaa;
  padding: 0;
  font-size: 1.2em;
}
.wikilink .urllink {
  background: none;
  padding: 0;
}

#wikitext {
  position: relative;
}
#wikitext form, #wikitext input {
  font: normal 11px tahoma, geneva, arial, helvetica, sans-serif;
}

#wikiedit {
  position: relative;
}
#wikiedit textarea {
  margin-top: 0.5em;
  width: 100%;
}

#stopwatch pre { 
  margin-left: 14em;
  font: 8pt/1 monospace;
}

#wikitext table {
	border-collapse:collapse;
	border-color:#808080;
	padding: 3px;
}
#wikitext table.title {
	background: #F0F0F0;
	font-weight: bold;
	width: 100%;
	border: 0;
}
#wikitext .enumerate tr:first-child td {
	background: #F0F0F0;
	font-weight: bold;
}
#wikitext .tableau tr:first-child td{
	background: #F0F0F0;
	font-weight: bold;
	vertical-align: middle;	
}
#wikitext .tableau td+td {
	font-style: normal;
	font-weight: normal;
}
#wikitext th {
	background: #F0F0F0;
	font-weight: bold;
	padding: 8px;
}
#wikitext td {
	padding: 3px 5px 3px 5px;
	vertical-align: top;
}
#wikitext .liste td+td {
	font-family: 'Courier New', monospace;
	font-weight: normal;
}
#wikitext td+td+td {
	font-family: Arial;
	font-style: italic;
	font-weight: normal;
}

#wikitext  table.ClassHeader {
	border-color: #B0B0B0;
	margin: -3px 0 8px 0;
	padding: 1px;
	width: 100%;
	box-shadow: 2px 2px 2px #E0E0E0;
	border-radius: 0 0 5px 5px;
	border-collapse: separate;
	border-top: none;
	background: #F8FAFF;
}
#wikitext .ClassHeader tr:first-child td {
	padding: 0 8px 0 8px;
	width: 33%;
	text-align: left;
	font-family: Arial;
	font-style: normal;
	font-weight: bold;
	border: none;
	border-right: 1px solid #808080;
}
#wikitext .ClassHeader tr:first-child td:last-child {
	border: none;
}

.sourceblocktext {
	/*box-shadow: 2px 2px 2px #E0E0E0*/
}

.sidesearch {
	float: right;
	margin-top: -5px;
	margin-right: 10px;
}

.Link {
	margin: 0.5em 0.5em 0 0;
	border: 1px solid #CCC;
	border-radius: 27px 14px;
	padding: 4px 10px 4px 27px;
	background-color: #F9F9F9;
}

.UnitLink {
	background: #F9F9F9 url(/pmwiki/pub/skins/monobook/iconUnit.png) no-repeat 6px center;
}
.ObjectLink {
	background: #F9F9F9 url(/pmwiki/pub/skins/monobook/iconObject.png) no-repeat 6px center;
}
.RecordLink {
	background: #F9F9F9 url(/pmwiki/pub/skins/monobook/iconRecord.png) no-repeat 6px center;
}
.EnumLink {
	background: #F9F9F9 url(/pmwiki/pub/skins/monobook/iconEnum.png) no-repeat 6px center;
}

table.operators  {
	width: 600px;
}
table.operators th {
	border-bottom: 2px solid #bbb;
	color: #555;
}
table.operators td {
	width: 7em;
	border-bottom: 1px solid #ddd;
	padding: 5px !important;
}
table.operators td+td {
	width: auto !important;
}

table.properties tr td {
	padding: 5px 10px !important;
}
table.properties tr:first-child {
	background-color: #eee;
	font-weight: bold;
	color: #555;
	border-bottom: 2px solid #bbb;
}
table.properties tr {
	border-bottom: 1px solid #ddd;
}

table.pagelist td {
	padding: 0 2em 0 0 !important;
}
table.pagelist td:first-child {
	min-width: 17em;
}
table.pagelist td:first-child:before {
	content: '\25a0';
	padding: 6px;
	color: #999;
}
table.pagelist td + td {
	font-style: italic;
	color: #444;
}

.language, .darklight {
	float: right;
	margin-top: -2px;
    margin-left: 5px;
}

a.wikilink {
  position: relative;
  text-decoration: none;
  color: #0645AD;
  background: none;
}
a.wikilink:visited { color: #5a3696; }
a.wikilink:active { color: #ffa500; }
a.wikilink:hover {
  text-decoration: none;
  right: 0;
}
a.wikilink:hover:after {
  border-color: #0645AD;
  right: 0;
}
a.wikilink:after {
  border-radius: 1em;
  border-top: .1em solid #0645AD;
  content: "";
  position: absolute;
  right: 100%;
  bottom: 0em;
  left: 0;
  transition: right .4s cubic-bezier(0,.5,0,1), border-color .4s ease-out;
}