#nav, #subnav, div.theorynav a, #macronav a, .backtotop, .markus, .cindy, a.langchoice, h1 { 
  display: none; 
}
a {
   
}

/* Body */
body{
  margin: 3%;
  font-family: Code2000, Georgia, 'Times New Roman', serif;
  font-size: 11pt;
}
h2 {
  font-weight: bold;
  font-size: 14pt;
}
h3 {
  font-weight: bold;
  font-size: 13pt;
}
h4 {
  font-weight: bold;
  font-size: 12pt;
}
h5 {
  font-weight: bold;
  font-size: 11pt;
}
h6 {
  font-weight: bold;
  font-size: 11pt;
}
h7 {
  font-weight: bold;
  font-size: 11pt;
}

/* hm. doesn't yet do what i want it to */
a:link, a:visited {
  color: blue;
  background-color: white;
}

/* Main Text Box */

.math /* prevents formulae and equations from being line broken */ {
  white-space: nowrap;
}

/**
span.newestversion{
  font-weight: bold;
}
 div.newestversion {
  margin-left: 1%;
  margin-right: 1%;
  padding-left: 1%;
  padding-right: 1%;
  border: 1px dashed black;
}
*/

p.bibliography {
  width: 90%;
  margin: 5%;
  padding: 1%;
  border-left: 1px solid #000000;
}
.booktitle {
  font-style: italic;
}
div.noteunicode {
  margin: 2%;
  padding-left: 2%;
  border-top: 2px solid green;
  border-left: 2px solid green;
  font-size: 0.9em;
}
div.noteunicode h4 {
  color: green;
  background-color: white;
}

div.center {
  text-align: center;
}
div.right {
  float: right;
  margin: 2%;
}
.caption{
  font-size: 0.8em;
  margin-bottom: 3%;
}

.person {
/*still to be defined */
}


/* Copyright notice */
#copyright {
  margin-top: 5%;
  background: #ffffff;
  color: #000000;
  border-top: 1px solid black; 
  font-size: 10pt;
}
.underconstruction {
  color: white;
  background: black;
}


/* macro.css */

#sourcecode {
  font-family: 'Courier New', monospace;
}
/* central terms */
.central {
  font-style: italic;
}

span.comment {
  font-family: Code2000, Georgia, 'Times New Roman', serif;
  font-weight: bold;
  color: blue;
  background-color: white;
}
.lattice {
  font-style: italic;
}
.operation {
  font-style: italic;
}
.set {
  font-style: italic;
}
.variable {
  font-style: italic;
}
.formula {
  font-style: italic;
}
.index {
  font-style: italic;
}
.function {
  font-style: italic;
}


table.math {
  margin-left: 10%;
  margin-top: 3%; 
  margin-bottom: 3%;
}
td {
  padding: 1%;
  width: 30%;
}

table#smacros {
  border: 1px solid black;
  border-collapse: collapse;
}
#smacros td {
  border: 1px solid black;
}

/* theory.css */

#index {
  margin: 3%;
  padding-left: 2%;
  border-left: solid 1px #000000;
  border-top: solid 1px #000000;
}
#index p {
  font-size: 0.9em;
  padding-left: 5%;
}
#index ul {
  list-style-type: none;
  margin-left: -1em;
}

/* Definition styles */

div.definition {
  border-top: 1px solid red;
  border-left: 1px solid red;
  padding-left: 1%;
  padding-right: 1%;
  margin-left: 3%;
  margin-top: 2%;
  margin-bottom: 2%;
}

div.definition a.definiendum {
  background-color: #ff6666;
  font-weight: bold;
}

div.definition .central {
  font-style: italic;
}

div.definition table {
  width: 80%;
  border-collapse: collapse;
  margin-bottom: 2%;
}

div.definition td {
  width: 50%;
  vertical-align: top;
  border: solid 1px black;
  white-space: nowrap;
  padding: 0.5em;
}

/* Remark styles */
div.remark {
  border-top: 1px solid green;
  border-left: 1px solid green;
  padding-left: 1%;
  padding-right: 1%;
  margin-left: 3%;
  margin-top: 2%;
  margin-bottom: 2%;
}

div.remark a.definiendum {
  background-color: #99ff99;
  font-weight: bold;
}
 
div.remark .central {
  font-style: italic;
}

/* Proposition styles */

div.proposition {
  border-top: 1px solid blue;
  border-left: 1px solid blue;
  padding-left: 1%;
  padding-right: 1%;
  margin-left: 3%;
  margin-top: 2%;
  margin-bottom: 2%;
}

div.proposition a.definiendum {
  background-color: #9999ff;
  font-weight: bold;
}
 
div.proposition span.definiendum {
  background-color: #9999ff;
}

div.proposition .central {
  font-style: italic;
}

div.proposition ol {
  list-style-type: lower-alpha;
}

div.proposition table.speciallist {
  border-collapse: collapse;
  margin-bottom: 2%;
}

div.proposition table.speciallist td, th {
  vertical-align: top;
  padding: 0.5em;
}
div.proposition table.speciallist th {
  width: 3%;
}


/* Proof styles */

div.proof {
  border-left: 2px solid black;
  padding-left: 1%;
  padding-right: 1%;
  margin-left: 2%;
  margin-top: 2%;
  margin-bottom: 2%;
}

div.proof a.title {
  background-color: #999999;
  font-weight: bold;
}
 
div.proof table {
  border-collapse: collapse;
  margin: 3%;
  width: 97%;
  white-space: nowrap;
}

div.proof td {
  border: 1px solid black;
  padding: 0.5em;
}

p.schlusskette {
  margin-left: 4%;
  line-height: 2em;
}

p.equation {
  margin: 3%;
}

p.equation span.id {
  position: absolute;
  right: 30%;
}

/* Appendix markup  -  is a bit of a dirty fix. will have to look into this at some point... */

div.appendix table {
  border-collapse: collapse;
  margin: 3%;
  width: 90%;
  white-space: nowrap;
  border: 2px solid black;
}

div.appendix td {
  border-left: 1px solid black;
  border-right: 1px solid black;
  padding: 0.5em;
}

div.appendix th {
  border: 2px solid black;
  padding: 0.5em;
}

/* for script F, f */

.mathcal {
  font-family: Chancery, cursive;
  font-style: italic;
}

/* Others */ 

.central {
  font-style: italic;
}
.function {
  font-style: italic;
}
.poset {
  font-weight: bold;
}
.lattice {
  font-weight: bold;
}
.sublattice {
  font-weight: bold;
}
.set {
  font-weight: bold;
}
.algebra {
  font-weight: bold;
}
.operation {
  font-family: Chancery, cursive;
  font-style: italic;
}




ol.suborderedlist {
  list-style-type: lower-alpha;

}

/* faq.css */
div.questions {
  margin: 2%;
  padding-left: 2%;
  padding-right: 2%;
  border-top: 1px solid red;
  border-left: 1px solid red;
}
div.questions h2 {
  color: red;
  background-color: white;
}
div.answers {
  margin: 2%;
  padding-left: 2%;
  padding-right: 2%;
  border-top: 1px solid blue;
  border-left: 1px solid blue;
}
div.answers h2 {
  color: blue;
  background-color: white;
}
div.answers h4 {
  margin: 3%;
}
div.answers p {
  margin-left: 6%;
}
div.answers hr {
  width: 50%;
  border: 1px solid blue;
  margin-top: 5%;
}

/* introduction.css */

table {
  border-collapse: collapse;
  margin: 1%;
}
table.buttons td {
  border: 1px solid black;
}
table.buttonsext, th {
  border: 2px solid black;
}
table.buttonsext td{
  vertical-align: top;
  border: 1px dotted black;
}
table.buttonsext img{
  margin-left: 0.5em;
}
span.option {
  color: black;
  background-color: #E6ECFF;
  font-weight: bold;
}
table.operationt {
  display: inline-table;
  border-collapse: collapse;
  border: none;
}
table.operationt th.corner {
  border-bottom: 2px solid black;
  border-top: none;
  border-right: 2px solid black;
  border-left: none;
}
table.operationt th.row {
  border-bottom: 2px solid black;
  border-top: none;
  border-right: none;
  border-left: none;
}
table.operationt th.column {
  border-bottom: none;
  border-top: none;
  border-right: 2px solid black;
  border-left: none;
}
table.operationt td {
  border: none;
  width: auto;
}