• Files
• Commits
• Log
• Graph
• Stats

/* moved from default index.html */
body {
  padding-top: 0px;
  /* 20px; */

  padding-bottom: 40px;
}
/* ==========================================================================
   Author's custom styles
   ========================================================================== */
h2,
h3,
h4,
p,
li,
td {
  font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans",
    "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans",
    "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;
}
.pale {
  color: #bcb5d7;
}
.bright {
  color: #7c62a3;
}
.rich {
  color: #513775;
}
.dark {
  color: #382251;
}
.bold {
  font-size: larger;
  font-weight: bold;
}
.header {
  font-size: larger;
  font-weight: bold;
  border-bottom: solid 1px #bcb5d7;
}
.highlight {
  background: #bcb5d7;
}
.label-bright,
.badge-bright {
  background: #7c62a3;
}
.accordion-toggle,
.accordion-toggle:hover,
.accordion-toggle:visited {
  color: #7c62a3;
}

.indent {
    margin-left: 1em;
}

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

#footer {
  margin-top: 10px;
  border-top: 1px solid #c0c0c0;
}
#pid td {
  border-color: #bcb5d7;
  color: #513775;
  padding: 5px;
}
#nav-bar {
  position: absolute;
  right: 0px;
  top: 100px;
}
#main-div {
  border: 1px solid #bcb5d7;
  padding: 10px 30px;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  -ms-border-radius: 10px;
  -o-border-radius: 10px;
  border-radius: 10px;
}
#comments {
  border: 1px solid #c0c0c0;
  padding: 10px 30px;
  margin-top: 10px;
  -webkit-border-radius: 10px;
  -moz-border-radius: 10px;
  -ms-border-radius: 10px;
  -o-border-radius: 10px;
  border-radius: 10px;
}
@media print {
  #nav-bar {
    display: none;
  }
  h2 {
    font-size: 24px;
  }
}

span.acronym {
    border-bottom: 1px dashed #00f;
	cursor: help;
}

/* This beautiful CSS-File has been crafted with LESS (lesscss.org) and compiled by simpLESS (wearekiss.com/simpless) */