body {
  color:#000000; 
  background-color:#ffffff; 
  text-align:left;
}

table {
  width:100%;
  border:0;
}

a:link {
  color:#0000ff;
}

a:visited {
  color:#000099;
}

a:hover {
  background-color:#ffffff;
  /*color:#000000;*/
}

a.currentsection {
  font-weight:bold;
  background-color:#ffff00;
}

a.deepestchildren {
  /*color:#ff0000;*/
}

a.subsection {
  font-family:Helvetica,Arial,sans-serif; 
  font-size:small;
}

h1, h2, h3, h4, h5, h6 {
  font-family:Helvetica,Arial,sans-serif; 
  font-weight:bold;
}

h1 {
  font-size:x-large;
}

h2 {
  font-size:large;
}
  
h3, h4 {
  font-size:medium;
}
    
h5 {
  font-size:small;
}

h6 {
  font-size:x-small;
}
p { 
  text-align:justify;
}
  
table.par {
  text-align:justify;
}

p.topnote {
  text-align: center;
  color:#ff0000;
}

td.header {
  vertical-align:middle;
  color:#ffffff;
  font-size:230%;
  font-weight:bold;
  letter-spacing:0.1em;
  background-color:#0000cc;
  font-family:Helvetica,Arial,sans-serif;
  padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;
  border:0;
}

td.top {
  vertical-align:middle;
  color:#000000;
  background-color:#ccffff;
  /*font-family:Helvetica,Arial,sans-serif;*/
  padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;
  border:0;
  font-size:medium;
}

td.leftsidebar {
  vertical-align:top;
  color:#000000;
  background-color:#ccffff;
  padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;
  width:20%;
  border:0;
  font-size:small;
}

td.rightsidebar {
  vertical-align:top;
  color:#000000;
  background-color:#ccffff;
  padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;
  width:20%;
  border:0;
}

td.content {
  vertical-align:top;
  /*padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;*/
  padding:1em;
  border:0;
}

td.footer {
  vertical-align:top;
  padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;
  border:0;
}

td.gap3bar {
  /*vertical-align:middle;*/
  text-align:center;
  color:#000000;
  background-color:#ffff00;
  /*font-family:Helvetica,Arial,sans-serif;*/
  padding-left:5px;
  padding-right:5px;
  padding-top:5px;
  padding-bottom:5px;
  border:0;
  font-size:large;
}

td.green {
  background-color:#e0ffd0;
  text-align:right;
}

td.smaller {
  font-size:-1;
}

p.center {
  text-align:center;
}

td.oben {
  vertical-align:top;
  padding:0px;
}

p.right {
  text-align:right;
}

p.big {
  font-size:140%;
}

p.bigcenter {
  text-align:center;
  font-size:160%;
}

pre.gapexample{
  margin-left: 2%
}   

span.sansserif {
  font-family:Helvetica,Arial,sans-serif; 
}

span.symb {
  font-family:Symbol;
}

span.cour {
  font-family:Courier,mono-space;
}

span.small {
  font-size:small;
}

h2.center {
  text-align:center;
}

span.code {
  font-family:monospace;
}
  

#mainGAP {
    height: 100%;
    width: 100%;
}

.header a {
  color: white;
  text-decoration: none;
}

/* for _layouts/packages.html */

#packages dl {
  border: 3px double #ccc;
  padding: 0.5em;
}
#packages dt {
  float: left;
  clear: left;
  width: 11em;
  text-align: right;
  font-weight: bold;
  color: black;
}
#packages dt::after {
  content: ":";
}
#packages dd {
  margin: 0 0 0 12em;
  padding: 0 0 0.5em 0;
}