/* This style sheet originally by Matthew Trentacoste <mmt@cs.ubc.ca>
 */

body 
/* define body style.  margins and background color */
{
  margin-top : 0;
  margin-left : 0;
  margin-right : 0;
  margin-bottom : 50px;
  background: #e4e4e4;
  //background: #f5f5f5;
}

#header
/* define header */
{
  height: 7px;
  background-color: #808080;

  margin-bottom: 10px;
 
  padding-left: 53px;
  padding-top: 12px;
  padding-bottom: 10px;

  border-bottom: 1px solid #6a6a6a;
}

#main 
/* define main text area */
{
  position: absolute;

  margin-left : 60px;
  margin-right : 60px
  padding-left : 15px;
  padding-top : 30px;
  padding-right : 20px;
  padding-bottom : 100px;

  width : 500px;

  background: #ffffff;

  border : 1px solid silver;

  color : #6a6a6a;
  font-family: Lucida sans unicode, Lucida Grande, lucida, verdana, sans-serif;
  font-size : 11px;
  font-weight : normal;
  line-height : 140%;
}

#main a,
#main a:link,
#main a:visited {
  color: #5576AB;
  text-decoration: none;
}

#sidebar
/* defines sidebar style */
{
  position: absolute;

  margin-left: 630px;
  
  padding-top : 18px;
  padding-bottom : 10px;

  width : 200px;

  font-family : verdana, arial, sans-serif;
  color : #989898;
  font-size : 11px;
  line-height : 100%;
  text-transform: lowercase;

  border-bottom : 1px solid #adadad;
}

#sidebar a,
#sidebar a:link,
#sidebar a:visited
{
  color: #7d9ac9;
  text-decoration: none;
}

#main h1
{
  text-align: right;

  padding-bottom: 2px;
  margin-bottom: 20px;

  font-family : Helvetica, arial, sans-serif;
  font-size: 10px;
  letter-spacing: 2px;
  text-transform: uppercase;
  font-weight: normal;

  border-bottom : 1px solid #adadad;

  color : #989898;

  width: 500px;
}

.title
/* should be #main h2, but changed for mozilla/ie consistency */
{
  font-family : Helvetica, arial, sans-serif;
  color: #505050;
  font-size: 10px;
  letter-spacing: 2px;
  text-transform: uppercase;
  font-weight: bold;
}

#sidebar h1
/* title formatting for sidebar */
{
  padding-top: 0px;
  padding-bottom: 5px;

  margin-bottom: 8px;

  font-family : Helvetica, arial, sans-serif;
  font-size: 10px;
  letter-spacing: 2px;
  text-transform: uppercase;
  font-weight: normal;

  border-bottom : 1px solid #adadad;
}

ul
/* general list style */
{
  margin-left: 0;
  margin-top: 0;
  line-height: 110%;

  list-style-type: none;

  padding: 0;

  text-align:left;
}

ul a
/* list link formatting */ 
{
  font-family : verdana, arial, sans-serif;
  font-size : 11px;
}

ul li
{
  margin: 4px 0 6px 0;
  padding: 0 0 0 16px;

  background-repeat: no-repeat;
  background-position: 4px 4px;
}

#main ul li
{
  background-image: url(http://www.cl.cam.ac.uk/~akw27/images/arrow_main.gif);
}

#sidebar ul
{
  margin-bottom: 20px;
}

#sidebar ul li
{
  background-image: url(http://www.cl.cam.ac.uk/~akw27/images/arrow_side.gif);
}

.hilite
{
  background: #ffe6bf;
  color: #404040;
  padding-left: 2px;
  padding-right: 2px;
}

.permlink
{
  float: left;

  font-size: 10px;
  letter-spacing: -0.5pt;

  width: 50px;

/*  font-weight: bold;*/
  font-family: verdana, sans-serif;
 }

.entry
{
  margin-left: 50px;
  margin-right: 20px;
  margin-top: 0;
  margin-bottom: 0;

  text-align: justify;
}

#main .text
{
  text-align: justify;

  margin-left: 50px;
  margin-right: 20px;
}

#main .entry a:hover,
#main .entry a:active
{
  color: #B44;
  text-decoration: underline;
}

.entry blockquote
{
  margin-left: 10px;
  padding-left: 10px;
  margin-right: 15px;

  border-left: 2px solid #E0E0E0;

  line-height : 110%;
}

.entry em
{
  background-color: #e6ffbf;
}

.entry code
{
  color: #404040;
}

.hrfront
{
  height: 1px;
  background: url(http://www.cl.cam.ac.uk/~akw27/images/hrf.gif) repeat-x;
  padding: 0 0 0 0;
  border: 0 0 0 0;
  margin: 30px 20px 20px 50px;
}



/* temp ***********/
#linklist li {
  margin: 0 0 0 0;
}
.floater{
  float: left;
  width: 250px;
}