/* Web-safe colours should have % rgb values as a multiple of 20 */

span.standardscreen{
  display: inline;
}

span.smallscreen{
  display: none;
}

body
{
  background: white;
  color: black;
}

#banner
{
   font-family: serif;
   font-weight: bold;
   font-size: 0.5in;
   font-variant: small-caps;
   background: white;
   text-align: center;
}

.logo{
   display: none;
}

.fixed_btm{
  float: right;
}

#sitelock_shield_logo{
   display: none;
}

#sidebar
{
   font-family: serif;
   font-weight: bold;
   font-style: normal;
   font-variant: normal;
   background: white;
}

div#sidebar > ul
{
   padding-left: 1em;
}

div#sidebar > ul > ul
{
   padding-left: 1em;
}

#toolbar
{
   font-weight: bold;
   font-variant: small-caps;
   display: none;
}

.tool
{
   display: inline;
   margin: 0ex;
   padding-left: 1ex;
   padding-right: 1ex;
}

div.tool a:link
{
   color: black;
}

div.tool a:visited
{
   color: black;
}

div#google_translate_element
{
  display: none;
}

#main
{
   background: white;
   color: black;
   font-family: serif;
   font-weight: normal;
}

#newsbanner
{
   background: white;
   border: 4px solid red;
   padding: 1ex;
}

#footnotes
{
   background: white;
   color: black;
   font-family: serif;
   font-weight: normal;
   padding: 1ex;
}

#boilerplate
{
  font-family: serif;
  font-style: italic;
  font-size: small;
  text-align: center;
}

#footer
{
  font-size: small;
  text-align: center;
  border-top: 1px solid silver;
}

div.bookcover
{
   float: left;
   padding-right: 1em;
}

.textit { font-style: italic; }

.textbf { font-weight: bold; }

dl.exerciselist dt { font-weight: bold; }
dl.exerciselist dd { padding-bottom: 2ex; }

dl.acronymlist dd { padding-bottom: 2ex; }

table.inline { display: inline; }

table.appinfo tr { text-align: left; }
table.bookinfo tr { text-align: left; vertical-align: top; }

table.download { border: 3px double black; border-collapse: collapse; }

table.download tr { text-align: center; }

table.download td { border: 3px double gray; border-collapse: collapse; }
table.download th { border: 3px double gray; border-collapse: collapse; }

dl.news dt { font-weight: bold;}
dl.news dd { padding-bottom: 2ex;}

pre.codeblock { white-space: pre-wrap; overflow: auto; }
pre.shell { white-space: pre-wrap; overflow: auto; }

div.summaryheading
{
   display: block;
   font-size: large;
   font-weight: bold;
   font-size : x-large;
   padding-bottom: 1ex;
}

div.summary-name
{
  font-size : x-large;
  padding-top: 1ex;
}

div.summary-desc 
{ 
  padding-left: 2em;
}

div.navigateprev
{
  font-size: small;
  font-weight: normal;
  position: absolute;
  left: 0;
  width: 30%;
  min-width: 30%;
  max-width: 30%;
  text-align: center;
}

div.navigateup
{
  font-size: small;
  font-weight: normal;
  position: absolute;
  left: 34%;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  text-align: center;
}

div.navigatenext
{
  font-size: small;
  font-weight: normal;
  position: absolute;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  left: 66%;
  text-align: center;
}

div.disnavigateprev
{
  font-size: small;
  font-weight: normal;
  position: absolute;
  left: 0;
  width: 30%;
  min-width: 30%;
  max-width: 30%;
  text-align: center;
  color: silver;
}

div.disnavigateup
{
  font-size: small;
  font-weight: normal;
  position: absolute;
  left: 34%;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  text-align: center;
  color: silver;
}

div.disnavigatenext
{
  font-size: small;
  font-weight: normal;
  position: absolute;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  left: 66%;
  text-align: center;
  color: silver;
}

div.navigate
{
  padding-bottom: 4ex;
  line-height: 0.9;
}

div.navigateprev a {font-weight: bold; text-decoration: none;}
div.navigateup a {font-weight: bold; text-decoration: none;}
div.navigatenext a {font-weight: bold; text-decoration: none;}

div.bottomnavigateprev
{
  font-size: small;
  font-weight: normal;
  position: relative;
  left: 0;
  width: 30%;
  min-width: 30%;
  max-width: 30%;
  text-align: center;
  display: inline;
}

div.bottomnavigateup
{
  font-size: small;
  font-weight: normal;
  position: relative;
  left: 40%;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  text-align: center;
  display: inline;
}

div.bottomnavigatenext
{
  font-size: small;
  font-weight: normal;
  position: relative;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  left: 80%;
  text-align: right;
  display: inline;
}

div.bottomdisnavigateprev
{
  font-size: small;
  font-weight: normal;
  position: relative;
  left: 0;
  width: 30%;
  min-width: 30%;
  max-width: 30%;
  text-align: center;
  display: inline;
  color: silver;
}


div.bottomdisnavigateup
{
  font-size: small;
  font-weight: normal;
  position: relative;
  left: 40%;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  text-align: center;
  display: inline;
  color: silver;
}

div.bottomdisnavigatenext
{
  font-size: small;
  font-weight: normal;
  position: relative;
  width: 28%;
  min-width: 28%;
  max-width: 28%;
  left: 80%;
  text-align: right;
  display: inline;
  color: silver;
}

div.bottomnavigateprev a {font-weight: bold; text-decoration: none;}
div.bottomnavigateup a {font-weight: bold; text-decoration: none;}
div.bottomnavigatenext a {font-weight: bold; text-decoration: none;}

div.code 
{
   font-family: monospace;
   border: 6px groove;
   padding: 1ex;
   overflow: auto;
}

div.shell 
{
   font-family: monospace;
   border: 6px double;
   padding: 1ex;
}

div.definition 
{
   font-family: monospace;
   border: 6px ridge;
   padding: 1ex;
}

div.result 
{
   border: 6px groove;
   padding: 1ex;
}

div.displayblock
{
   font-family: monospace;
   padding-top: 1ex;
   padding-bottom: 1ex;
}

div.warning
{
  font-weight: bold;
  color: red;
  float: left;
  border: 2px solid;
  background: white;
  padding: 1px;
}

div.incorrect
{
  font-size: x-large;
  font-weight: bold;
  color: red;
  position: absolute;
  float: left;
  text-align: right;
  left: -.5em;
}

div.correct
{
  font-size: x-large;
  font-weight: bold;
  color: green;
  position: absolute;
  float: left;
  text-align: right;
  left: -.5em;
}

a.linkanchor
{
  display: none;
}

span.warning
{
  font-weight: bold;
  color: red;
}

span.incorrect
{
  font-weight: bold;
  color: red;
}

span.correct
{
  font-weight: bold;
  color: green;
}

a.gls
{
  text-decoration: none;
  color: blue;
}

div.indexentry
{
   display: inline-block;
   min-width: 13em;
   border-bottom: thin silver dotted;
   padding-right: 2em;
   padding-top: .5ex;
   padding-bottom: .5ex;
}

div.indexloc
{
   display: inline-block;
   margin-left: 1em;
   padding-top: .5ex;
}


div.indexheading
{
   display: block;
   font-size: large;
   font-weight: bold;
}

div.index
{
  line-height: 1.5;
}

div.index div.index
{
  margin-left: 2em;
}

div.indextotop
{
  font-size: small;
}

div.alltt
{
   padding-top: 2ex;
   padding-bottom: 2ex;
}

.legalterm { font-weight: bold; }

ul.spaced li
{
  margin-bottom: 5pt;
}

ol.spaced li
{
  margin-bottom: 5pt;
}

.unilist li { list-style: none; line-height: 1.5em; }
.unibull { float: left; width: 1.25em; }

ul.unilist ul li
{
   font-variant: normal;
   font-size: small;
}

a[target="_blank"]:before
{
   content: "";
}

a.social[target="_blank"]:before
{
   content: "";
}

@media print
{
   #skip a
   {
      display: none;
   }

   .buttons
   {
      display: none;
   }

   .cookies
   {
      display: none;
   }

   #sidebar
   {
      display: none;
   }
}

#sidebarskip a
{
   display: none;
}

.prompt
{
}

div.error
{
   font-weight: bold;
   color: red;
}

table.symbollist, table.symbollist tr th, table.symbollist tr td
{
   border-collapse: collapse;
   border: solid;
   border-width: thin;
   border-color: silver;
}

div.bookblock
{
   display: inline-block;
   overflow: auto;
   text-align: center;
   vertical-align: top;
}

div.banner
{
   text-align: center;
   padding: 2ex;
}

div.wide
{
   overflow: auto;
}

.wideright
{
   overflow: auto;
   float: right;
}

#goodreads-widget { display: none; }