@media print {
  .noprint, .catlinks, .magnify, .mw-cite-backlink, .mw-editsection, .mw-editsection-like, .mw-hidden-catlinks, .mw-indicators, .mw-redirectedfrom, .patrollink, .usermessage, #column-one, #footer-places, #mw-navigation, #siteNotice, #f-poweredbyico, #f-copyrightico, li#about, li#disclaimer, li#mobileview, li#privacy { display: none; }
  body { background: rgb(255, 255, 255); color: rgb(0, 0, 0); margin: 0px; padding: 0px; }
  a { background: none !important; padding: 0px !important; }
  a, a.external, a.new, a.stub { color: inherit !important; text-decoration: inherit !important; }
  .mw-parser-output a.external.text::after, .mw-parser-output a.external.autonumber::after { content: " (" attr(href) ")"; word-break: break-all; overflow-wrap: break-word; }
  .mw-parser-output a.external.text[href^="//"]::after, .mw-parser-output a.external.autonumber[href^="//"]::after { content: " (https:" attr(href) ")"; }
  dt { font-weight: bold; }
  h1, h2, h3, h4, h5, h6 { font-weight: bold; break-after: avoid; break-before: avoid; }
  p { margin: 1em 0px; line-height: 1.2; orphans: 3; widows: 3; }
  img, figure, .wikitable, .thumb { break-inside: avoid; }
  img { border: 0px; vertical-align: middle; }
  pre, .mw-code { background: rgb(255, 255, 255); color: rgb(0, 0, 0); border: 1pt dashed rgb(0, 0, 0); padding: 1em; font-size: 8pt; white-space: pre-wrap; overflow-wrap: break-word; }
  sup, sub { line-height: 1; }
  ul { list-style-type: square; }
  #globalWrapper { width: 100% !important; min-width: 0px !important; }
  .mw-body { background: rgb(255, 255, 255); color: rgb(0, 0, 0); direction: ltr; border: 0px !important; padding: 0px !important; margin: 0px !important; }
  #column-content { margin: 0px !important; }
  #column-content .mw-body { padding: 1em; margin: 0px !important; }
  .toc { background-color: rgb(249, 249, 249); border: 1pt solid rgb(170, 170, 170); padding: 5px; display: table; }
  .tocnumber, .toctext { display: table-cell; }
  .tocnumber { padding-left: 0px; padding-right: 0.5em; }
  .mw-content-ltr .tocnumber { padding-left: 0px; padding-right: 0.5em; }
  .mw-content-rtl .tocnumber { padding-left: 0.5em; padding-right: 0px; }
  table.floatright, div.floatright, div.tright { float: right; clear: right; position: relative; }
  table.floatleft, div.floatleft, div.tleft { float: left; clear: left; position: relative; }
  div.tleft { margin: 0.5em 1.4em 1.3em 0px; }
  div.tright { margin: 0.5em 0px 1.3em 1.4em; }
  table.floatright, div.floatright { margin: 0px 0px 0.5em 0.5em; border: 0px; }
  table.floatleft, div.floatleft { margin: 0px 0.5em 0.5em 0px; border: 0px; }
  .center { text-align: center; }
  div.thumb { background-color: transparent; width: auto; }
  div.thumb a { border-bottom: 0px; }
  div.thumbinner { background-color: rgb(255, 255, 255); border: 0px; border-radius: 2px; padding: 5px; font-size: 10pt; color: rgb(102, 102, 102); text-align: center; overflow: hidden; min-width: 100px; }
  html .thumbcaption { text-align: left; line-height: 1.4; padding: 3px; }
  img.thumbborder { border: 1pt solid rgb(221, 221, 221); }
  .wikitable, .mw_metadata { background: rgb(255, 255, 255); margin: 1em 0px; border: 1pt solid rgb(170, 170, 170); border-collapse: collapse; font-size: 10pt; }
  .wikitable > caption, .mw_metadata caption { padding: 5px; font-size: 10pt; }
  .wikitable > tr > th, .wikitable > tr > td, .wikitable > * > tr > th, .wikitable > * > tr > td, .mw_metadata th, .mw_metadata td { border: 1pt solid rgb(170, 170, 170); padding: 0.4em 0.6em; background: rgb(255, 255, 255) !important; color: rgb(0, 0, 0) !important; }
  .wikitable > tr > th, .wikitable > * > tr > th, .mw_metadata th { text-align: center; }
  table.listing, table.listing td { border: 1pt solid rgb(0, 0, 0); border-collapse: collapse; }
  .catlinks ul { display: inline; padding: 0px; list-style: none none; }
  .catlinks li { display: inline-block; line-height: 1.15; margin: 0.1em 0px; border-left: 1pt solid rgb(170, 170, 170); padding: 0px 0.4em; }
  .catlinks li:first-child { border-left: 0px; padding-left: 0.2em; }
  .printfooter { padding: 1em 0px; }
  #footer { background: rgb(255, 255, 255); color: rgb(0, 0, 0); margin-top: 1em; border-top: 1pt solid rgb(170, 170, 170); padding-top: 5px; direction: ltr; }
}
@media screen {
  .mw-content-ltr { direction: ltr; }
  .mw-content-rtl { direction: rtl; }
  .sitedir-ltr textarea, .sitedir-ltr input { direction: ltr; }
  .sitedir-rtl textarea, .sitedir-rtl input { direction: rtl; }
  .mw-userlink { unicode-bidi: embed; }
  mark { background-color: rgb(255, 255, 0); color: rgb(0, 0, 0); }
  wbr { display: inline-block; }
  input[type="submit"], input[type="button"], input[type="reset"], input[type="file"] { direction: ltr; }
  textarea[dir="ltr"], input[dir="ltr"] { direction: ltr; }
  textarea[dir="rtl"], input[dir="rtl"] { direction: rtl; }
  abbr[title], .explain[title] { border-bottom: 1px dotted; cursor: help; }
  @supports (text-decoration:underline dotted) {
  abbr[title], .explain[title] { border-bottom: 0px; text-decoration: underline dotted; }
}
  span.comment { font-style: italic; unicode-bidi: isolate; }
  #editform, #toolbar, #wpTextbox1 { clear: both; }
  #toolbar { height: 22px; }
  .mw-underline-always a { text-decoration: underline; }
  .mw-underline-never a { text-decoration: none; }
  li span.deleted, span.history-deleted { text-decoration: line-through; color: rgb(114, 119, 125); font-style: italic; }
  .not-patrolled { background-color: rgb(255, 255, 170); }
  .unpatrolled { font-weight: bold; color: rgb(221, 51, 51); }
  div.patrollink { font-size: 75%; text-align: right; }
  td.mw-label { text-align: right; vertical-align: middle; }
  td.mw-input { text-align: left; }
  td.mw-submit { text-align: left; white-space: nowrap; }
  .mw-input-with-label { white-space: nowrap; display: inline-block; }
  .mw-content-ltr .thumbcaption { text-align: left; }
  .mw-content-ltr .magnify { float: right; }
  .mw-content-rtl .thumbcaption { text-align: right; }
  .mw-content-rtl .magnify { float: left; }
  #catlinks { text-align: left; }
  .catlinks ul { display: inline; margin: 0px; padding: 0px; list-style: none none; }
  .catlinks li { display: inline-block; line-height: 1.25em; border-left: 1px solid rgb(162, 169, 177); margin: 0.125em 0px; padding: 0px 0.5em; zoom: 1; }
  .catlinks li:first-child { padding-left: 0.25em; border-left: 0px; }
  .catlinks li a.mw-redirect { font-style: italic; }
  .mw-hidden-cats-hidden { display: none; }
  .catlinks-allhidden { display: none; }
  p.mw-protect-editreasons, p.mw-filedelete-editreasons, p.mw-delete-editreasons { font-size: 90%; text-align: right; }
  .autocomment, .autocomment a, .autocomment a:visited { color: rgb(114, 119, 125); }
  .newpage, .minoredit, .botedit { font-weight: bold; }
  div.mw-warning-with-logexcerpt { padding: 3px; margin-bottom: 3px; border: 2px solid rgb(42, 75, 141); clear: both; }
  div.mw-warning-with-logexcerpt ul li { font-size: 90%; }
  span.mw-revdelundel-link, strong.mw-revdelundel-link { font-size: 90%; }
  span.mw-revdelundel-hidden, input.mw-revdelundel-hidden { visibility: hidden; }
  td.mw-revdel-checkbox, th.mw-revdel-checkbox { padding-right: 10px; text-align: center; }
  a.new { color: rgb(186, 0, 0); }
  .plainlinks a.external { background: none !important; padding: 0px !important; }
  .rtl a.external.free, .rtl a.external.autonumber { direction: ltr; unicode-bidi: embed; }
  .wikitable { background-color: rgb(248, 249, 250); color: rgb(34, 34, 34); margin: 1em 0px; border: 1px solid rgb(162, 169, 177); border-collapse: collapse; }
  .wikitable > tr > th, .wikitable > tr > td, .wikitable > * > tr > th, .wikitable > * > tr > td { border: 1px solid rgb(162, 169, 177); padding: 0.2em 0.4em; }
  .wikitable > tr > th, .wikitable > * > tr > th { background-color: rgb(234, 236, 240); text-align: center; }
  .wikitable > caption { font-weight: bold; }
  .error, .warning, .success { font-size: larger; }
  .error { color: rgb(221, 51, 51); }
  .warning { color: rgb(172, 102, 0); }
  .success { color: rgb(20, 134, 109); }
  .messagebox, .errorbox, .warningbox, .successbox { color: rgb(0, 0, 0); margin-bottom: 1em; border: 1px solid; padding: 0.5em 1em; }
  .messagebox h2, .errorbox h2, .warningbox h2, .successbox h2 { color: inherit; display: inline; margin: 0px 0.5em 0px 0px; border: 0px; font-size: 1em; font-weight: bold; }
  .messagebox { background-color: rgb(234, 236, 240); border-color: rgb(162, 169, 177); }
  .errorbox { background-color: rgb(254, 231, 230); border-color: rgb(221, 51, 51); }
  .warningbox { background-color: rgb(254, 246, 231); border-color: rgb(255, 204, 51); }
  .successbox { background-color: rgb(213, 253, 244); border-color: rgb(20, 134, 109); }
  .mw-infobox { border: 2px solid rgb(255, 204, 51); margin: 0.5em; clear: left; overflow: hidden; }
  .mw-infobox-left { margin: 7px; float: left; width: 35px; }
  .mw-infobox-right { margin: 0.5em 0.5em 0.5em 49px; }
  .previewnote { margin-bottom: 1em; }
  .visualClear { clear: both; }
  .mw-datatable { border: 1px solid rgb(162, 169, 177); border-collapse: collapse; }
  .mw-datatable td, .mw-datatable th { border: 1px solid rgb(162, 169, 177); padding: 0.2em 0.4em; }
  .mw-datatable th { background-color: rgb(234, 238, 255); }
  .mw-datatable td { background-color: rgb(255, 255, 255); }
  .mw-datatable tr:hover td { background-color: rgb(234, 243, 255); }
  .mw-content-ltr ul, .mw-content-rtl .mw-content-ltr ul { margin: 0.3em 0px 0px 1.6em; padding: 0px; }
  .mw-content-rtl ul, .mw-content-ltr .mw-content-rtl ul { margin: 0.3em 1.6em 0px 0px; padding: 0px; }
  .mw-content-ltr ol, .mw-content-rtl .mw-content-ltr ol { margin: 0.3em 0px 0px 3.2em; padding: 0px; }
  .mw-content-rtl ol, .mw-content-ltr .mw-content-rtl ol { margin: 0.3em 3.2em 0px 0px; padding: 0px; }
  .mw-content-ltr dd, .mw-content-rtl .mw-content-ltr dd { margin-left: 1.6em; margin-right: 0px; }
  .mw-content-rtl dd, .mw-content-ltr .mw-content-rtl dd { margin-right: 1.6em; margin-left: 0px; }
  .mw-ajax-loader { background-image: url("/algowiki/resources/src/mediawiki.legacy/images/ajax-loader.gif?57f34"); background-position: center center; background-repeat: no-repeat; padding: 16px; position: relative; top: -16px; }
  .mw-small-spinner { margin-right: 0.6em; background-image: url("/algowiki/resources/src/mediawiki.legacy/images/spinner.gif?ca65b"); background-position: center center; background-repeat: no-repeat; padding: 10px !important; }
  h1:lang(anp), h1:lang(as), h1:lang(bh), h1:lang(bho), h1:lang(bn), h1:lang(gu), h1:lang(hi), h1:lang(kn), h1:lang(ks), h1:lang(ml), h1:lang(mr), h1:lang(my), h1:lang(mai), h1:lang(ne), h1:lang(new), h1:lang(or), h1:lang(pa), h1:lang(pi), h1:lang(sa), h1:lang(ta), h1:lang(te) { line-height: 1.6em !important; }
  h2:lang(anp), h3:lang(anp), h4:lang(anp), h5:lang(anp), h6:lang(anp), h2:lang(as), h3:lang(as), h4:lang(as), h5:lang(as), h6:lang(as), h2:lang(bho), h3:lang(bho), h4:lang(bho), h5:lang(bho), h6:lang(bho), h2:lang(bh), h3:lang(bh), h4:lang(bh), h5:lang(bh), h6:lang(bh), h2:lang(bn), h3:lang(bn), h4:lang(bn), h5:lang(bn), h6:lang(bn), h2:lang(gu), h3:lang(gu), h4:lang(gu), h5:lang(gu), h6:lang(gu), h2:lang(hi), h3:lang(hi), h4:lang(hi), h5:lang(hi), h6:lang(hi), h2:lang(kn), h3:lang(kn), h4:lang(kn), h5:lang(kn), h6:lang(kn), h2:lang(ks), h3:lang(ks), h4:lang(ks), h5:lang(ks), h6:lang(ks), h2:lang(ml), h3:lang(ml), h4:lang(ml), h5:lang(ml), h6:lang(ml), h2:lang(mr), h3:lang(mr), h4:lang(mr), h5:lang(mr), h6:lang(mr), h2:lang(my), h3:lang(my), h4:lang(my), h5:lang(my), h6:lang(my), h2:lang(mai), h3:lang(mai), h4:lang(mai), h5:lang(mai), h6:lang(mai), h2:lang(ne), h3:lang(ne), h4:lang(ne), h5:lang(ne), h6:lang(ne), h2:lang(new), h3:lang(new), h4:lang(new), h5:lang(new), h6:lang(new), h2:lang(or), h3:lang(or), h4:lang(or), h5:lang(or), h6:lang(or), h2:lang(pa), h3:lang(pa), h4:lang(pa), h5:lang(pa), h6:lang(pa), h2:lang(pi), h3:lang(pi), h4:lang(pi), h5:lang(pi), h6:lang(pi), h2:lang(sa), h3:lang(sa), h4:lang(sa), h5:lang(sa), h6:lang(sa), h2:lang(ta), h3:lang(ta), h4:lang(ta), h5:lang(ta), h6:lang(ta), h2:lang(te), h3:lang(te), h4:lang(te), h5:lang(te), h6:lang(te) { line-height: 1.2em; }
  ol:lang(azb) li, ol:lang(bcc) li, ol:lang(bgn) li, ol:lang(bqi) li, ol:lang(fa) li, ol:lang(glk) li, ol:lang(kk-arab) li, ol:lang(lrc) li, ol:lang(luz) li, ol:lang(mzn) li { list-style-type: persian; }
  ol:lang(ckb) li, ol:lang(sdh) li { list-style-type: arabic-indic; }
  ol:lang(hi) li, ol:lang(mai) li, ol:lang(mr) li, ol:lang(ne) li { list-style-type: devanagari; }
  ol:lang(as) li, ol:lang(bn) li { list-style-type: bengali; }
  ol:lang(or) li { list-style-type: oriya; }
  .toc ul { margin: 0.3em 0px; }
  .mw-content-ltr .toc ul, .mw-content-rtl .mw-content-ltr .toc ul { text-align: left; }
  .mw-content-rtl .toc ul, .mw-content-ltr .mw-content-rtl .toc ul { text-align: right; }
  .mw-content-ltr .toc ul ul, .mw-content-rtl .mw-content-ltr .toc ul ul { margin: 0px 0px 0px 2em; }
  .mw-content-rtl .toc ul ul, .mw-content-ltr .mw-content-rtl .toc ul ul { margin: 0px 2em 0px 0px; }
  .toc .toctitle { direction: ltr; }
  #mw-clearyourcache, #mw-sitecsspreview, #mw-sitejspreview, #mw-usercsspreview, #mw-userjspreview { direction: ltr; unicode-bidi: embed; }
  #mw-revision-info, #mw-revision-info-current, #mw-revision-nav { direction: ltr; }
  div.tright, div.floatright, table.floatright { clear: right; float: right; }
  div.tleft, div.floatleft, table.floatleft { float: left; clear: left; }
  div.floatright, table.floatright, div.floatleft, table.floatleft { position: relative; }
  #mw-credits a { unicode-bidi: embed; }
  .printfooter { display: none; }
  .xdebug-error { position: absolute; z-index: 99; }
  .mw-editsection { user-select: none; }
  .mw-editsection, .mw-editsection-like { font-size: small; font-weight: normal; margin-left: 1em; vertical-align: baseline; line-height: 1em; }
  .mw-content-ltr .mw-editsection, .mw-content-rtl .mw-content-ltr .mw-editsection { margin-left: 1em; }
  .mw-content-rtl .mw-editsection, .mw-content-ltr .mw-content-rtl .mw-editsection { margin-right: 1em; }
  sup, sub { line-height: 1; }
}
@media screen {
  a { text-decoration: none; color: rgb(6, 69, 173); background: none; }
  a:not([href]) { cursor: pointer; }
  a:visited { color: rgb(11, 0, 128); }
  a:active { color: rgb(250, 167, 0); }
  a:hover, a:focus { text-decoration: underline; }
  a:lang(ar), a:lang(kk-arab), a:lang(mzn), a:lang(ps), a:lang(ur) { text-decoration: none; }
  a.stub { color: rgb(119, 34, 51); }
  a.new, #p-personal a.new { color: rgb(186, 0, 0); }
  a.mw-selflink { color: inherit; font-weight: bold; text-decoration: inherit; }
  a.mw-selflink:hover { cursor: inherit; text-decoration: inherit; }
  a.mw-selflink:active, a.mw-selflink:visited { color: inherit; }
  a.new:visited, #p-personal a.new:visited { color: rgb(165, 88, 88); }
  .mw-parser-output a.extiw, .mw-parser-output a.extiw:active { color: rgb(51, 102, 187); }
  .mw-parser-output a.extiw:visited { color: rgb(102, 51, 102); }
  .mw-parser-output a.extiw:active { color: rgb(187, 102, 51); }
  .mw-parser-output a.external { color: rgb(51, 102, 187); }
  .mw-parser-output a.external:visited { color: rgb(102, 51, 102); }
  .mw-parser-output a.external:active { color: rgb(187, 102, 51); }
  .mw-parser-output a.external.free { overflow-wrap: break-word; }
  img { border: 0px; vertical-align: middle; }
  hr { height: 1px; background-color: rgb(162, 169, 177); border: 0px; margin: 0.2em 0px; }
  h1, h2, h3, h4, h5, h6 { color: rgb(0, 0, 0); background: none; font-weight: normal; margin: 0px; overflow: hidden; padding-top: 0.5em; padding-bottom: 0.17em; border-bottom: 1px solid rgb(162, 169, 177); }
  h1 { font-size: 188%; }
  h2 { font-size: 150%; }
  h3, h4, h5, h6 { border-bottom: 0px; font-weight: bold; }
  h3 { font-size: 128%; }
  h4 { font-size: 116%; }
  h5 { font-size: 108%; }
  h6 { font-size: 100%; }
  h1, h2 { margin-bottom: 0.6em; }
  h3, h4, h5 { margin-bottom: 0.3em; }
  p { margin: 0.4em 0px 0.5em; }
  p img { margin: 0px; }
  ul { margin: 0.3em 0px 0px 1.6em; padding: 0px; }
  ol { margin: 0.3em 0px 0px 3.2em; padding: 0px; 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 { margin-left: 1.6em; margin-bottom: 0.1em; }
  pre, code, tt, kbd, samp, .mw-code { font-family: monospace, monospace; }
  code { color: rgb(0, 0, 0); background-color: rgb(248, 249, 250); border: 1px solid rgb(234, 236, 240); border-radius: 2px; padding: 1px 4px; }
  pre, .mw-code { color: rgb(0, 0, 0); background-color: rgb(248, 249, 250); border: 1px solid rgb(234, 236, 240); padding: 1em; white-space: pre-wrap; }
  table { font-size: 100%; }
  fieldset { border: 1px solid rgb(42, 75, 141); margin: 1em 0px; padding: 0px 1em 1em; }
  fieldset.nested { margin: 0px 0px 0.5em; padding: 0px 0.5em 0.5em; }
  legend { padding: 0.5em; font-size: 95%; }
  form { border: 0px; margin: 0px; }
  textarea { width: 100%; padding: 0.1em; display: block; box-sizing: border-box; }
  .center { width: 100%; text-align: center; }
  .center * { margin-left: auto; margin-right: auto; }
  .small { font-size: 94%; }
  table.small { font-size: 100%; }
  .toc, .mw-warning, .toccolours { border: 1px solid rgb(162, 169, 177); background-color: rgb(248, 249, 250); padding: 5px; font-size: 95%; }
  .toc { display: table; zoom: 1; padding: 7px; }
  table.toc { border-collapse: collapse; }
  table.toc td { padding: 0px; }
  .toc h2 { display: inline; border: 0px; padding: 0px; font-size: 100%; font-weight: bold; }
  .toc .toctitle { text-align: center; }
  .toc ul { list-style-type: none; list-style-image: none; margin-left: 0px; padding: 0px; text-align: left; }
  .toc ul ul { margin: 0px 0px 0px 2em; }
  .tocnumber, .toctext { display: table-cell; text-decoration: inherit; }
  .tocnumber { padding-left: 0px; padding-right: 0.5em; color: rgb(34, 34, 34); }
  .mw-content-ltr .tocnumber { padding-left: 0px; padding-right: 0.5em; }
  .mw-content-rtl .tocnumber { padding-left: 0.5em; padding-right: 0px; }
  .mw-warning { margin-left: 50px; margin-right: 50px; text-align: center; }
  div.floatright, table.floatright { margin: 0px 0px 0.5em 0.5em; }
  div.floatleft, table.floatleft { margin: 0px 0.5em 0.5em 0px; }
  div.thumb { margin-bottom: 0.5em; width: auto; background-color: transparent; }
  div.thumbinner { border: 1px solid rgb(200, 204, 209); padding: 3px; background-color: rgb(248, 249, 250); font-size: 94%; text-align: center; overflow: hidden; }
  html .thumbimage { background-color: rgb(255, 255, 255); border: 1px solid rgb(200, 204, 209); }
  html .thumbcaption { border: 0px; line-height: 1.4em; padding: 3px; font-size: 94%; text-align: left; }
  div.magnify { float: right; margin-left: 3px; }
  div.magnify a { display: block; text-indent: 15px; white-space: nowrap; overflow: hidden; width: 15px; height: 11px; background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2215%22 height=%2211%22 viewBox=%220 0 11 15%22%3E %3Cg id=%22magnify-clip%22 fill=%22%23fff%22 stroke=%22%23000%22%3E %3Cpath id=%22bigbox%22 d=%22M1.509 1.865h10.99v7.919H1.509z%22/%3E %3Cpath id=%22smallbox%22 d=%22M-1.499 6.868h5.943v4.904h-5.943z%22/%3E %3C/g%3E %3C/svg%3E"); user-select: none; }
  img.thumbborder { border: 1px solid rgb(234, 236, 240); }
  .mw-content-ltr .thumbcaption { text-align: left; }
  .mw-content-ltr .magnify { float: right; margin-left: 3px; margin-right: 0px; }
  .mw-content-ltr div.magnify a { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2215%22 height=%2211%22 viewBox=%220 0 11 15%22%3E %3Cg id=%22magnify-clip%22 fill=%22%23fff%22 stroke=%22%23000%22%3E %3Cpath id=%22bigbox%22 d=%22M1.509 1.865h10.99v7.919H1.509z%22/%3E %3Cpath id=%22smallbox%22 d=%22M-1.499 6.868h5.943v4.904h-5.943z%22/%3E %3C/g%3E %3C/svg%3E"); }
  .mw-content-rtl .thumbcaption { text-align: right; }
  .mw-content-rtl .magnify { float: left; margin-left: 0px; margin-right: 3px; }
  .mw-content-rtl div.magnify a { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2215%22 height=%2211%22 viewBox=%220 0 11 15%22%3E %3Cg id=%22magnify-clip%22 fill=%22%23fff%22 stroke=%22%23000%22%3E %3Cpath id=%22bigbox%22 d=%22M9.491 1.865h-10.99v7.919h10.99z%22/%3E %3Cpath id=%22smallbox%22 d=%22M12.499 6.868H6.556v4.904h5.943z%22/%3E %3C/g%3E %3C/svg%3E"); }
  div.tright { margin: 0.5em 0px 1.3em 1.4em; }
  div.tleft { margin: 0.5em 1.4em 1.3em 0px; }
  body.mw-hide-empty-elt .mw-empty-elt { display: none; }
  .catlinks { border: 1px solid rgb(162, 169, 177); background-color: rgb(248, 249, 250); padding: 5px; margin-top: 1em; clear: both; }
  textarea { border: 1px solid rgb(200, 204, 209); }
  .editOptions { background-color: rgb(234, 236, 240); color: rgb(34, 34, 34); border-width: 0px 1px 1px; border-right-style: solid; border-bottom-style: solid; border-left-style: solid; border-right-color: rgb(200, 204, 209); border-bottom-color: rgb(200, 204, 209); border-left-color: rgb(200, 204, 209); border-image: initial; border-top-style: initial; border-top-color: initial; padding: 1em 1em 1.5em; margin-bottom: 2em; }
  .usermessage { background-color: rgb(255, 206, 123); border: 1px solid rgb(255, 165, 0); color: rgb(0, 0, 0); font-weight: bold; margin: 2em 0px 1em; padding: 0.5em 1em; vertical-align: middle; }
  #siteNotice { position: relative; text-align: center; margin: 0px; }
  #localNotice { margin-bottom: 0.9em; }
  .firstHeading { margin-bottom: 0.1em; line-height: 1.2em; padding-bottom: 0px; }
  #siteSub { display: none; }
  #contentSub, #contentSub2 { font-size: 84%; line-height: 1.2em; margin: 0px 0px 1.4em 1em; color: rgb(84, 89, 93); width: auto; }
  span.subpages { display: block; }
}
.mw-wiki-logo { background-image: url("/var/www/algorist/images/3rdEcover.jpg"); }
@media screen {
  html { font-size: 100%; }
  html, body { height: 100%; margin: 0px; padding: 0px; font-family: sans-serif; }
  body { background-color: rgb(246, 246, 246); }
  .mw-body, .parsoid-body { background-color: rgb(255, 255, 255); color: rgb(34, 34, 34); padding: 1em; direction: ltr; }
  .mw-body, #mw-data-after-content { margin-left: 10em; }
  .mw-body { border-width: 1px 0px 1px 1px; border-style: solid; border-color: rgb(167, 215, 249); border-image: initial; margin-top: -1px; }
  .mw-body h1, .mw-body-content h1, .mw-body-content h2 { margin-bottom: 0.25em; padding: 0px; font-family: "Linux Libertine", Georgia, Times, serif; line-height: 1.3; }
  .mw-body h1:lang(ja), .mw-body-content h1:lang(ja), .mw-body-content h2:lang(ja), .mw-body h1:lang(he), .mw-body-content h1:lang(he), .mw-body-content h2:lang(he), .mw-body h1:lang(ko), .mw-body-content h1:lang(ko), .mw-body-content h2:lang(ko) { font-family: sans-serif; }
  .mw-body h1:lang(my), .mw-body-content h1:lang(my), .mw-body-content h2:lang(my) { line-height: normal; }
  .mw-body h1, .mw-body-content h1 { font-size: 1.8em; }
  .mw-body .firstHeading { overflow: visible; }
  .mw-body .mw-indicators { float: right; font-size: 0.875em; line-height: 1.6; position: relative; z-index: 1; }
  .mw-body .mw-indicator { display: inline-block; zoom: 1; }
  .mw-body-content { position: relative; font-size: 0.875em; line-height: 1.6; z-index: 0; }
  .mw-body-content p { margin: 0.5em 0px; }
  .mw-body-content h1 { margin-top: 1em; }
  .mw-body-content h2 { margin-top: 1em; font-size: 1.5em; }
  .mw-body-content h3, .mw-body-content h4, .mw-body-content h5, .mw-body-content h6 { margin-top: 0.3em; margin-bottom: 0px; padding-bottom: 0px; line-height: 1.6; }
  .mw-body-content h3 { font-size: 1.2em; }
  .mw-body-content h3, .mw-body-content h4 { font-weight: bold; }
  .mw-body-content h4, .mw-body-content h5, .mw-body-content h6 { font-size: 100%; }
  .mw-body-content .toc h2 { font-family: sans-serif; font-size: 100%; }
  .mw-editsection, .mw-editsection-like { font-family: sans-serif; }
  div.emptyPortlet { display: none; }
  ul { list-style-image: url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%225%22 height=%2213%22%3E %3Ccircle cx=%222.5%22 cy=%229%22 r=%222.5%22 fill=%22%23222%22/%3E %3C/svg%3E"); }
  pre, .mw-code { line-height: 1.3; }
  #siteNotice { font-size: 0.8em; }
  #p-personal { position: absolute; top: 0.33em; right: 0.75em; z-index: 100; }
  #p-personal h3 { display: none; }
  #p-personal ul { list-style: none none; margin: 0px; padding-left: 10em; }
  #p-personal li { float: left; margin-left: 0.75em; padding-top: 0.5em; font-size: 0.75em; line-height: 1.16667; white-space: nowrap; }
  #pt-anonuserpage, #pt-userpage a { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2220%22 height=%2220%22 viewBox=%220 0 20 20%22%3E %3Cg fill=%22%2354595d%22%3E %3Cpath d=%22M10 11c-5.92 0-8 3-8 5v3h16v-3c0-2-2.08-5-8-5z%22/%3E %3Ccircle cx=%2210%22 cy=%225.5%22 r=%224.5%22/%3E %3C/g%3E %3C/svg%3E"); background-position: left 0.333333em; background-repeat: no-repeat; background-size: 1.16667em 1.16667em; padding-top: 0.5em !important; padding-left: 16px !important; }
  #pt-userpage { padding-top: 0px !important; }
  #pt-userpage a { display: inline-block; }
  #pt-anonuserpage { color: rgb(84, 89, 93); }
  #p-search { float: left; margin-right: 0.5em; margin-left: 0.5em; }
  #p-search h3 { display: block; clip: rect(1px, 1px, 1px, 1px); width: 1px; height: 1px; margin: -1px; border: 0px; padding: 0px; overflow: hidden; position: absolute !important; }
  #p-search form { margin: 0.5em 0px 0px; }
  #simpleSearch { display: block; width: 20vw; min-width: 5em; max-width: 20em; height: 100%; margin-top: 0px; position: relative; min-height: 1px; }
  #simpleSearch input { background-color: rgba(0, 0, 0, 0); color: rgb(0, 0, 0); margin: 0px; }
  #searchInput { width: 100%; box-sizing: border-box; border: 1px solid rgb(162, 169, 177); border-radius: 2px; padding: 0.4em 1.84615em 0.4em 0.4em; box-shadow: transparent 0px 0px 0px 1px inset; font-size: 0.8125em; direction: ltr; transition: border-color 250ms, box-shadow 250ms; appearance: textfield; }
  #simpleSearch:hover #searchInput { border-color: rgb(114, 119, 125); }
  #searchInput:focus, #simpleSearch:hover #searchInput:focus { outline: 0px; border-color: rgb(51, 102, 204); box-shadow: rgb(51, 102, 204) 0px 0px 0px 1px inset, rgb(255, 255, 255) 0px 0px 0px 2px inset; }
  #searchInput::-webkit-input-placeholder { color: rgb(114, 119, 125); opacity: 1; }
  #searchInput::placeholder { color: rgb(114, 119, 125); opacity: 1; }
  #searchInput::-webkit-search-decoration, #searchInput::-webkit-search-cancel-button, #searchInput::-webkit-search-results-button, #searchInput::-webkit-search-results-decoration { appearance: textfield; }
  #searchButton, #mw-searchButton { position: absolute; top: 1px; bottom: 1px; right: 1px; min-width: 24px; width: 1.84615em; border: 0px; padding: 0px; cursor: pointer; font-size: 0.8125em; direction: ltr; text-indent: -99999px; white-space: nowrap; overflow: hidden; z-index: 1; }
  #searchButton { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2212%22 height=%2213%22%3E %3Cg fill=%22none%22 stroke=%22%2354595d%22 stroke-width=%222%22%3E %3Cpath d=%22M11.29 11.71l-4-4%22/%3E %3Ccircle cx=%225%22 cy=%225%22 r=%224%22/%3E %3C/g%3E %3C/svg%3E"); background-position: center center; background-repeat: no-repeat; }
  #mw-searchButton { z-index: 1; }
  .vectorTabs { background-position: left bottom; float: left; height: 2.5em; padding-left: 1px; }
  .vectorTabs h3 { display: none; }
  .vectorTabs ul { float: left; height: 100%; list-style: none none; margin: 0px; padding: 0px; }
  .vectorTabs li { background-image: linear-gradient(to top, rgb(119, 193, 246) 0px, rgb(232, 242, 248) 1px, rgb(255, 255, 255) 100%); background-position: left bottom; background-repeat: repeat-x; float: left; display: block; height: 100%; margin: 0px; padding: 0px; line-height: 1.125em; white-space: nowrap; }
  .vectorTabs li a { color: rgb(6, 69, 173); display: block; height: 1.9em; padding-left: 0.615em; padding-right: 0.615em; cursor: pointer; font-size: 0.8125em; }
  .vectorTabs .new a, .vectorTabs .new a:visited { color: rgb(165, 88, 88); }
  .vectorTabs .selected { background: rgb(255, 255, 255); }
  .vectorTabs .selected a, .vectorTabs .selected a:visited { color: rgb(34, 34, 34); text-decoration: none; }
  .vectorTabs .icon a { background-position: right bottom; background-repeat: no-repeat; }
  .vectorTabs span { background-position: right bottom; display: inline-block; height: 100%; }
  .vectorTabs span a { float: left; display: block; position: relative; padding-top: 1.25em; }
  .vectorMenu { direction: ltr; float: left; cursor: pointer; position: relative; line-height: 1.125em; }
  .vectorMenu h3 span { color: rgb(68, 68, 68); position: relative; display: block; padding-left: 0.615em; padding-top: 1.25em; padding-right: 16px; font-size: 0.8125em; font-weight: normal; }
  .vectorMenu h3 span::after { content: ""; position: absolute; inset: 1.25em 0px 0px; background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2212%22 height=%2212%22 viewBox=%220 0 12 12%22%3E %3Cpath d=%22M11.05 3.996l-.965-1.053-4.035 3.86-3.947-3.86L1.05 3.996l5 5 5-5%22 fill=%22%23222%22/%3E %3C/svg%3E"); background-position: 100% 50%; background-repeat: no-repeat; opacity: 0.85; }
  .vectorMenu h3:hover span, .vectorMenu h3:focus span { color: rgb(34, 34, 34); }
  .vectorMenu h3:hover span::after, .vectorMenu h3:focus span::after { opacity: 1; }
  .vectorMenu .menu { list-style: none none; background-color: rgb(255, 255, 255); clear: both; min-width: 100%; position: absolute; top: 2.5em; left: -1px; margin: 0px; border-width: 0px 1px 1px; border-style: solid; border-color: rgb(162, 169, 177); border-image: initial; padding: 0px; box-shadow: rgba(0, 0, 0, 0.1) 0px 1px 1px 0px; text-align: left; opacity: 0; visibility: hidden; transition: opacity 100ms; z-index: 2; }
  .vectorMenu:hover .menu { opacity: 1; visibility: visible; }
  .vectorMenu .vectorMenuCheckbox:checked ~ .menu { opacity: 1; visibility: visible; }
  .vectorMenu li { padding: 0px; margin: 0px; text-align: left; line-height: 1em; }
  .vectorMenu li a { color: rgb(6, 69, 173); display: block; padding: 0.625em; white-space: nowrap; cursor: pointer; font-size: 0.8125em; }
  .vectorMenu .selected a, .vectorMenu .selected a:visited { color: rgb(34, 34, 34); text-decoration: none; }
  #mw-head .vectorMenu h3 { background-position: right bottom; float: left; font-size: 100%; height: 2.5em; margin: 0px -1px 0px 0px; padding: 0px 0.5em 0px 0px; }
  .vectorTabs, .vectorTabs span, #mw-head .vectorMenu h3 { background-image: linear-gradient(rgba(167, 215, 249, 0) 0px, rgb(167, 215, 249) 100%); background-repeat: no-repeat; background-size: 1px 100%; }
  .vectorMenuCheckbox { cursor: pointer; position: absolute; top: 0px; left: 0px; z-index: 1; opacity: 0; width: 100%; height: 100%; margin: 0px; padding: 0px; display: none; }
  :not(:checked) > .vectorMenuCheckbox { display: block; }
  .vectorMenuCheckbox:checked + h3 span::after { transform: scaleY(-1); }
  .vectorMenuCheckbox:focus + h3 { outline: -webkit-focus-ring-color auto; }
  @-webkit-keyframes rotate { 
  0% { transform: rotate(0deg); }
  100% { transform: rotate(360deg); }
}
  @keyframes rotate { 
  0% { transform: rotate(0deg); }
  100% { transform: rotate(360deg); }
}
  .vectorTabs .mw-watchlink.icon a { margin: 0px; padding: 3.07692em 0px 0px; display: block; width: 28px; height: 0px; overflow: hidden; background-position: 5px 60%; background-repeat: no-repeat; }
  .vectorTabs #ca-unwatch.icon a { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2216%22 height=%2216%22 xmlns:xlink=%22http://www.w3.org/1999/xlink%22%3E %3Cdefs%3E %3ClinearGradient id=%22a%22%3E %3Cstop offset=%220%22 stop-color=%22%23c2edff%22/%3E %3Cstop offset=%22.5%22 stop-color=%22%2368bdff%22/%3E %3Cstop offset=%221%22 stop-color=%22%23fff%22/%3E %3C/linearGradient%3E %3ClinearGradient id=%22b%22 x1=%2213.47%22 x2=%224.596%22 y1=%2214.363%22 y2=%223.397%22 xlink:href=%22%23a%22 gradientUnits=%22userSpaceOnUse%22/%3E %3C/defs%3E %3Cpath fill=%22url%28%23b%29%22 stroke=%22%237cb5d1%22 stroke-width=%22.99992%22 d=%22M8.103 1.146l2.175 4.408 4.864.707-3.52 3.431.831 4.845-4.351-2.287-4.351 2.287.831-4.845-3.52-3.431 4.864-.707z%22/%3E %3C/svg%3E"); }
  .vectorTabs #ca-watch.icon a { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2216%22 height=%2216%22%3E %3Cpath fill=%22%23fff%22 stroke=%22%237cb5d1%22 stroke-width=%22.99992%22 d=%22M8.103 1.146l2.175 4.408 4.864.707-3.52 3.431.831 4.845-4.351-2.287-4.351 2.287.831-4.845-3.52-3.431 4.864-.707z%22/%3E %3C/svg%3E"); }
  .vectorTabs #ca-unwatch.icon a:hover, .vectorTabs #ca-unwatch.icon a:focus { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2216%22 height=%2216%22 xmlns:xlink=%22http://www.w3.org/1999/xlink%22%3E %3Cdefs%3E %3ClinearGradient id=%22a%22%3E %3Cstop offset=%220%22 stop-color=%22%23c2edff%22/%3E %3Cstop offset=%22.5%22 stop-color=%22%2368bdff%22/%3E %3Cstop offset=%221%22 stop-color=%22%23fff%22/%3E %3C/linearGradient%3E %3ClinearGradient id=%22b%22 x1=%2213.47%22 x2=%224.596%22 y1=%2214.363%22 y2=%223.397%22 xlink:href=%22%23a%22 gradientUnits=%22userSpaceOnUse%22/%3E %3C/defs%3E %3Cpath fill=%22url%28%23b%29%22 stroke=%22%23c8b250%22 stroke-width=%22.99992%22 d=%22M8.103 1.146l2.175 4.408 4.864.707-3.52 3.431.831 4.845-4.351-2.287-4.351 2.287.831-4.845-3.52-3.431 4.864-.707z%22/%3E %3C/svg%3E"); }
  .vectorTabs #ca-watch.icon a:hover, .vectorTabs #ca-watch.icon a:focus { background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2216%22 height=%2216%22%3E %3Cpath fill=%22%23fff%22 stroke=%22%23c8b250%22 stroke-width=%22.99992%22 d=%22M8.103 1.146l2.175 4.408 4.864.707-3.52 3.431.831 4.845-4.351-2.287-4.351 2.287.831-4.845-3.52-3.431 4.864-.707z%22/%3E %3C/svg%3E"); }
  .vectorTabs #ca-unwatch.icon .loading, .vectorTabs #ca-watch.icon .loading { background-image: url("/algowiki/skins/Vector/images/watch-icon-loading.svg?a3739"); animation: 700ms linear 0s infinite normal none running rotate; outline: 0px; cursor: default; pointer-events: none; background-position: 50% 60%; transform-origin: 50% 57%; }
  #mw-navigation h2 { position: absolute; top: -9999px; }
  .mw-jump-link:not(:focus) { display: block; clip: rect(1px, 1px, 1px, 1px); width: 1px; height: 1px; margin: -1px; border: 0px; padding: 0px; overflow: hidden; position: absolute !important; }
  #mw-page-base { height: 5em; background-position: left bottom; background-color: rgb(251, 251, 251); background-image: linear-gradient(rgb(255, 255, 255) 50%, rgb(246, 246, 246) 100%); }
  #mw-head-base { margin-top: -5em; margin-left: 10em; height: 5em; }
  #mw-head { position: absolute; top: 0px; right: 0px; width: 100%; }
  #left-navigation { float: left; margin-left: 10em; margin-top: 2.5em; margin-bottom: -2.5em; }
  #right-navigation { float: right; margin-top: 2.5em; }
  #p-logo { width: 10em; height: 160px; }
  #p-logo a { display: block; width: 10em; height: 160px; background-repeat: no-repeat; background-position: center center; text-decoration: none; }
  #mw-panel { position: absolute; top: 0px; width: 10em; left: 0px; font-size: inherit; }
  #mw-panel .portal { margin: 0px 0.6em 0px 0.7em; padding: 0.25em 0px; direction: ltr; }
  #mw-panel .portal h3 { color: rgb(68, 68, 68); font-weight: normal; margin: 0.5em 0px 0px 0.666667em; padding: 0.25em 0px; cursor: default; border: 0px; font-size: 0.75em; }
  #mw-panel .portal .body { margin-left: 0.5em; padding-top: 0px; background-image: linear-gradient(to right, transparent 0px, rgb(200, 204, 209) 35%, rgb(200, 204, 209) 70%, transparent 100%); background-repeat: no-repeat; background-size: 100% 1px; }
  #mw-panel .portal .body ul { list-style: none none; margin: 0px; padding-top: 0.3em; }
  #mw-panel .portal .body li { margin: 0px; padding: 0.25em 0px; font-size: 0.75em; line-height: 1.125em; overflow-wrap: break-word; }
  #mw-panel .portal .body li a { color: rgb(6, 69, 173); }
  #mw-panel .portal .body li a:visited { color: rgb(11, 0, 128); }
  #mw-panel #p-logo + .portal { background-image: none; margin-top: 1em; }
  #mw-panel #p-logo + .portal h3 { display: none; }
  #mw-panel #p-logo + .portal .body { background-image: none; margin-left: 0.5em; }
  #footer { margin-left: 10em; margin-top: 0px; padding: 0.75em; direction: ltr; }
  #footer ul { list-style: none none; margin: 0px; padding: 0px; }
  #footer li { color: rgb(34, 34, 34); margin: 0px; padding: 0.5em 0px; font-size: 0.7em; }
  #footer-icons { float: right; }
  #footer-icons li { float: left; margin-left: 0.5em; line-height: 2; text-align: right; }
  #footer-info li { line-height: 1.4; }
  #footer-places li { float: left; margin-right: 1em; line-height: 2; }
  .mw-parser-output .external { background-position: right center; background-repeat: no-repeat; background-image: linear-gradient(transparent, transparent), url("data:image/svg+xml,%3Csvg xmlns=%22http://www.w3.org/2000/svg%22 width=%2212%22 height=%2212%22%3E %3Cpath fill=%22%23fff%22 stroke=%22%2336c%22 d=%22M1.5 4.518h5.982V10.5H1.5z%22/%3E %3Cpath fill=%22%2336c%22 d=%22M5.765 1H11v5.39L9.427 7.937l-1.31-1.31L5.393 9.35l-2.69-2.688 2.81-2.808L4.2 2.544z%22/%3E %3Cpath fill=%22%23fff%22 d=%22M9.995 2.004l.022 4.885L8.2 5.07 5.32 7.95 4.09 6.723l2.882-2.88-1.85-1.852z%22/%3E %3C/svg%3E"); padding-right: 13px; }
}
@media screen and (min-width: 982px) {
  .mw-body, #mw-head-base, #left-navigation, #mw-data-after-content, #footer { margin-left: 11em; }
  .mw-body { padding: 1.25em 1.5em 1.5em; }
  #footer { padding: 1.25em; }
  #mw-panel { padding-left: 0.5em; }
  #p-search { margin-right: 1em; }
  #p-personal { right: 1em; }
}
@media print {
  .toc, body { padding: 10px; font-family: "Linux Libertine", Georgia, Times, serif; }
  .printfooter, #footer, .thumb, table, ol, dl, ul, h3, h4, h5, h6 { font-family: sans-serif; }
  img { font-family: "Linux Libertine", Georgia, Times, serif; }
  a { border-bottom: 1px solid rgb(170, 170, 170); }
  .firstHeading { font-size: 25pt; line-height: 28pt; margin-bottom: 20px; padding-bottom: 5px; }
  .firstHeading, h2 { overflow: hidden; border-bottom: 2px solid rgb(0, 0, 0); }
  h3, h4, h5, h6 { margin: 30px 0px 0px; }
  h2, h3, h4, h5, h6 { padding: 0px; position: relative; }
  h2 { font-size: 18pt; line-height: 24pt; margin-bottom: 0.25em; }
  h3 { font-size: 13pt; line-height: 20pt; }
  h4, h5, h6 { font-size: 10pt; line-height: 15pt; }
  p { font-size: 10pt; line-height: 16pt; margin-top: 5px; text-align: justify; }
  p::before { content: ""; display: block; width: 120pt; overflow: hidden; }
  blockquote { border-left: 2px solid rgb(0, 0, 0); padding-left: 20px; }
  ol, ul { margin: 10px 0px 0px 1.6em; padding: 0px; }
  ol li, ul li { padding: 2px 0px; font-size: 10pt; }
  table ol li, table ul li { font-size: inherit; }
  .toc { break-before: avoid; break-after: avoid; background: none; border: 0px; display: table; }
  .toc a { border: 0px; font-weight: normal; }
  .toc > ul > li { margin-bottom: 4px; font-weight: bold; }
  .toc ul { margin: 0px; list-style: none; }
  .toc ul ul { padding-left: 30px; }
  .toc li.toclevel-1 > a { font-weight: bold; font-size: 10pt; }
  .mw-jump-link, .toc .tocnumber { display: none; }
  .printfooter { margin-top: 10px; border-top: 3px solid rgb(0, 0, 0); padding-top: 10px; font-size: 10pt; clear: both; }
  #footer { margin-top: 12px; border-top: 1px solid rgb(238, 238, 238); padding-top: 5px; }
  #footer-info { margin: 0px; padding: 0px; }
  #footer-info li { color: rgb(153, 153, 153); list-style: none; display: block; padding-bottom: 10px; font-size: 10pt; }
  #footer-info li a { color: rgb(153, 153, 153) !important; }
  #footer-info-lastmod { color: rgb(0, 0, 0); font-size: 12pt; font-weight: bold; }
}
.suggestions { overflow: hidden; position: absolute; top: 0px; left: 0px; width: 0px; border: 0px; z-index: 1099; padding: 0px; margin: -1px 0px 0px; }
.suggestions-special { position: relative; background-color: rgb(255, 255, 255); cursor: pointer; border: 1px solid rgb(162, 169, 177); margin: -2px 0px 0px; display: none; padding: 0.25em; line-height: 1.25em; }
.suggestions-results { background-color: rgb(255, 255, 255); cursor: pointer; border: 1px solid rgb(162, 169, 177); padding: 0px; margin: 0px; }
.suggestions-result { color: rgb(0, 0, 0); margin: 0px; line-height: 1.5em; padding: 0.01em 0.25em; text-align: left; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.suggestions-result-current { background-color: rgb(42, 75, 141); color: rgb(255, 255, 255); }
.suggestions-special .special-label { color: rgb(114, 119, 125); text-align: left; }
.suggestions-special .special-query { color: rgb(0, 0, 0); font-style: italic; text-align: left; }
.suggestions-special .special-hover { background-color: rgb(200, 204, 209); }
.suggestions-result-current .special-label, .suggestions-result-current .special-query { color: rgb(255, 255, 255); }
.highlight { font-weight: bold; }
.suggestions a.mw-searchSuggest-link, .suggestions a.mw-searchSuggest-link:hover, .suggestions a.mw-searchSuggest-link:active, .suggestions a.mw-searchSuggest-link:focus { color: rgb(0, 0, 0); text-decoration: none; }
.suggestions-result-current a.mw-searchSuggest-link, .suggestions-result-current a.mw-searchSuggest-link:hover, .suggestions-result-current a.mw-searchSuggest-link:active, .suggestions-result-current a.mw-searchSuggest-link:focus { color: rgb(255, 255, 255); }
.suggestions a.mw-searchSuggest-link .special-query { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }