libigl_Martin/style.css

table
{
  border-spacing: 0px;
}
tr.header th
{
  border-bottom: 1px solid; 
  background-color: #ffb;
  padding-left: 10px;
  padding-right: 20px;
  text-align: left;
}
tr.d0 td 
{
  background-color: #EEE; 
  color: black;
  padding-left: 10px;
  padding-right: 20px;
  min-width: 200px;
}
tr.d1 td
{
  background-color: #bcf; 
  color: black;
  padding-left: 10px;
  padding-right: 20px;
  min-width: 200px;
}

tr.gotcha1 td
{
  background-color: #fcb;
  color: black;
  padding-left: 10px;
  padding-right: 20px;
  min-width: 200px;
}

tr.gotcha2 td
{
  background-color: #fed;
  color: black;
  padding-left: 10px;
  padding-right: 20px;
  min-width: 200px;
}
/* Don't color pre tag like a box when it shows up in table */
tr pre
{
  background-color: inherit;
  overflow: auto;
  padding: none;
  border: none;
}

.note:before
{
  font-style: normal;
  content: "Note: ";
}
.note
{
  background-color: #ddd;
  border: 1px solid #bbb;
  margin-top: 2px;
  margin-bottom: 2px;
  font-style: italic;
  padding-left: 4px;
  padding-right: 4px;
  padding-top: 2px;
  padding-bottom: 2px;
}
span.highlight
{
  background-color: #4F5;
}
a 
{
  text-decoration:none;
  border:none;
  outline:none;
  color:#0645AD;
}
a:hover 
{
  color:#0645AD;
  text-decoration: underline;
}
a.missing
{
  color:#F32;
}
a:visited
{
  color:#0b0080;
}
span.todo:before
{
  font-style: normal;
  content: "TODO: ";
}
span.todo
{
  color: #F54;
  font-style: italic;
}
pre
{
  background-color: #c3e0f0;
  overflow: auto;
  padding-left: 8px;
  padding-right: 8px;
  padding-top: 4px;
  padding-bottom: 4px;
  border: 1px solid #999;
}
img.center
{
  display: block;
  margin-left: auto;
  margin-right: auto;
}

body, html
{
  margin: 0px;
  padding: 0px;
  background-color: #bbb;
  font-family: "HelveticaNeueLight", "HelveticaNeue-Light", "Helvetica Neue Light", "HelveticaNeue", "Helvetica Neue", 'TeXGyreHerosRegular', "Helvetica", "Tahoma", "Geneva", "Arial", sans-serif; font-weight:300; font-stretch:normal;
  height: 100%;
}

.article_outer
{
  padding: 0px;
  margin:0px auto;
  /* 600px = 2*300px wider that article_inner*/
  width: 1415px;
}

.article_inner
{
  padding: 20px;
  position:relative;
  font-size: 14pt;
  background-color: #fff;
  margin:0px auto;
  border-left: 1px solid #888;
  border-right: 1px solid #888;
  width: 815px;
  text-align: left;
}

#container
{
  position:absolute;
  top:0px;
  bottom: -0px;
  left:0px;
  right:0px;
  overflow:auto;
}

#fixed_sidebar
{
  margin: 0px;
  position:absolute;
  padding: 5px 10px;
  top:10px;
  left:0px;
  right:0px;
  background-color: #fff;
  overflow:hidden;
  width: 250px;
  z-index:100;
  border-right: 1px solid #888;
  border-top: 1px solid #888;
  border-bottom: 1px solid #888;
}
ul
{
  margin:0px;
  padding: 0px 20px;
  list-style-type:none;
}
li { font-size: 100% }
li li { font-size: 90% }
li li li { font-size: 80% }
li li li li { font-size: 70% }
li li li li li { font-size: 60%}