/* base.css: the base CSS2 file for my website
   (Benjamin Han; benhdj at cs dot cmu dot edu) */

@import url(color_black.css);
@import url(color_blue.css);
@import url(color_red.css);
@import url(color_green.css);

/* ----------------------------------------------------------------------
   Basics
   ---------------------------------------------------------------------- */

body {
  margin: 0px;
  padding: 0px;
  font-family: Verdana, "Bitstream Vera Sans", sans-serif;  
}

.Chinese, .Chinese table tr td {
  font-size: 110%;  
}

P {
  padding-bottom: 0.5em;
  width: 100%;  /* for the stinky IE */
}

UL {
  list-style-type:square;
}

LI {
  padding-bottom: 1em;
}

img {
  display: block;
  padding: 5px;
}

a {
  text-decoration: None;
  border-bottom:1px solid #ddd;
}

a img {
  border-style: None;
}

/* ----------------------------------------------------------------------
   Main layout
   ---------------------------------------------------------------------- */

#topLeftBar {
  height: 50px;
}

#topRightBar {
  width: 24%;
  height: 50px;
}

#bottomLeftBar {
  vertical-align: top;
}

#bottomLeftBarContent {
  padding-left: 13%;
  padding-top: 50px;
  padding-right: 7%;
  line-height: 1.8em;
  font-size: 80%;
}

#bottomLeftBarContent table tr {
  vertical-align: top;
  line-height: 1.8em;
  font-size: 80%;
}

#bottomRightBar {
  width: 24%;
  padding-top: 50px;
  vertical-align: top;
  line-height: 3em;
}

#bottomRightBar a {
  display: block;
  padding-left: 20px;
  border: 0px;
  text-shadow: 0.3em 0.3em 0.4em #000;
}

#footerLeft {
  height: 4em;  
}

#footerLeft, #footerLeft a {
  color: #708090;
}

#footerLeft a:hover {
  color: white;
}

#footerLeftContent {  
  width: auto;  /* for the stinky IE */
  margin-top: 4em;
  margin-bottom: 2em;
  margin-left: 12%;
  margin-right: 7%;
  padding-top: 10px;  
  vertical-align: top;  
  border-top:1px solid #ddd;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 70%;
  line-height: 1.5em;
}

#footerLeftContent td {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 70%;
  line-height: 1.5em;
}

#footerLeftContent img {
  display: block;
  padding: 0px;
}

#footerIcons {
  float: right;
}

#footerIcons a {
  border: 0px;
}

#footerRight {  
  width: 24%;
}

/* ----------------------------------------------------------------------
   Headers
   ---------------------------------------------------------------------- */

H1 {
  color: #708090;
  margin-top: 1.8em;
  margin-bottom: 0em;
  padding-bottom: 0.5em;  
  font-size: 250%;
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  line-height: 1.2em;
 }

.inlineH1 {
  color: #708090;
  margin-top: 0.8em;
  margin-bottom: 0em;
  padding-bottom: 0.3em;  
  font-size: 250%;
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  line-height: 1.2em;
}

H2 {
  color: #708090;
  margin-top: 1.8em;
  margin-bottom: 0em;
  padding-bottom: 0.3em;  
  font-size: 200%;
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  line-height: 1.2em;
} 

H3 {
  color: #708090;
  margin-top: 1.7em;
  margin-bottom: 0em;
  padding-bottom: 0.3em;
  font-size: 170%;
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  line-height: 1.2em;
}

H4 {  
  color: #708090;
  margin-top: 1.3em;
  padding-bottom: 0;
  margin-bottom: 0;
  font-size: 150%;
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  line-height: 1.2em;
}

H5 {
  color: #708090;
  margin-top: 1.2em;
  padding-bottom: 0.3em;
  font-size: 120%;
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  line-height: 1.2em;
}

/* ----------------------------------------------------------------------
   Top NAV and To-Top NAV
   ---------------------------------------------------------------------- */

.topNAV {
  position: absolute;  
  top: 50px;
  left: 10%;
  text-transform:lowercase;
  font-size: 80%;
}

.topRightNAV {
  position: absolute;
  top: 55px;
  right: 31%;
  display: block;
  margin: 0;
  padding: 0;
  text-transform:lowercase;
  font-size: 80%;
}

.toTopNAV {
  margin: 0px;
  padding: 0px;
  padding-bottom: 0.5em;
  text-transform:lowercase;
  text-align: right;
  font-size: 80%;
}

/* ----------------------------------------------------------------------
   Misc.
   ---------------------------------------------------------------------- */

blockquote {
  margin: 0 3em 2em 0.8em;
  padding-left: 20px;
  border-left: 5px solid #ddd;
}

.musicScore {
  margin-left: 2em;
  margin-right: 2em;  
}

.codeCatalog UL LI {
  padding-bottom: 1.2em;
}

.codeCatalog UL LI UL LI {
  padding-bottom: 0.1em;
}

.codeCatalog table tr {
  line-height: 1.8em;
}

.note {
  margin-top: 1.5em;
  padding-top: 0;
  font-size: 70%;
  line-height: 1.2em;
  font-family: Trebuchet MS, sans-serif;
}

.bib {
  /*font-family: Trebuchet MS, sans-serif;*/
}

.bib td {
  padding-bottom: 0.4em;
  line-height: 1.5em;
  font-size: 90%;  
}

.talks UL LI, .mac UL LI {
  padding-bottom: 1em;
  font-size: 90%;
  text-align: left;
}

.inlineTitle {
  font-weight: bold;
}

.img {
  padding-top: 2em;
  width: 100%;  /* for the stinky IE */
}

.img table {
  width: 100%;
}

.img td {
  padding-bottom: 1.8em;
  width: 33.3333%;
  vertical-align: top;
  font-size: 60%;
  line-height: 1.3em;
}

.imgRight {
  float: right;
  padding-left: 1.2em;
  padding-bottom: 0.5em;
  text-align: center;
}

/* for brain-dead IE: otherwise we'll get underlined images*/
* .imgRight a {
  border: none;
}

/* for the stinky IE */
#musiciansHistory, #musiciansList {
  width: 100%;
}

#musiciansHistory table, #musiciansList table {
  width: 100%;
}

#musiciansHistory table tr td, #musiciansList table tr td {
  font-size: xx-small;
  line-height: 1.2em;
}

#musiciansHistory .inlineTitle {
  font-family: Trebuchet MS, sans-serif;
  font-weight: normal;
  font-size: 100%;
}

.smallIndex, .smallIndex li {
  font-size: 90%;
}

.codeListing {
  font-size: 85%;
  font-family: courier new, courier, mono;
  overflow: auto;
  border:1px solid #ddd;
  padding:.3em .3em .3em .6em;
  text-align: left;
}

.grayBox {
  padding: 1em;
}

.musicScore, .grayRow, .grayBox {
  /* background: #f9dede; */
  background: #eeeeee;
}

.newPart {
  color: #FF0000;
}