/* Michael Olson's tweaked Muse stylesheet

   Common elements.

   License: Modification and propagation of this document is
            permitted.  Attribution of credit to me is optional.
*/

/* Normal elements */

a.nonexistent {
  background-color: white;
  color: red;
  font-weight: bold;
}

a.nonexistent:visited {
  background-color: white;
  color: red;
}

a:link.top, a:visited.top {
  color: #F5DEB3;               /* wheat */
  line-height: 90%;
  position: relative;
  text-decoration: none;
  top: -13px;
}

/* a:link:hover, a:visited:hover { */
/*   background-color: #F5F5F5;    /\* white smoke *\/ */
/* } */

h1 a:link:hover, h1 a:visited:hover {
  background-color: #708090;    /* slate gray */
}

/* Link style */
a {
    text-decoration: none;
}
a:visited {
/*  color: #556B2F;               dark olive green */
    color: #551A8B;

}

a:link {
  color: #0000CD;               /* blue */
}

/* copy from newytht */
a:hover {
	background: none repeat scroll 0 0 #DDDDDD;
	color: #FF0000;
	text-decoration: underline;
}

 blockquote {
  border-left: 2px solid #CCCCCC; /* gray80 */
  padding: 3px 5px;
  font-style: italic;
/*  margin: 5px 20px;*/
    margin-left: 5%;
    margin-right: 5%;
}

 blockquote p.quoted {
    margin: 1em .5em;
}
    


blockquote {
  border-left: 2px solid #CCCCCC; /* gray80 */
  padding: 5px;
  font-style: italic;
  margin: 5px 20px;
}

body {
  background-color: #FFFFFF;    /* gainsboro */
/*  background-image: url(http://www.klanklab.nl/images/vingette.jpg);*/
  color: black;
  font-family: 'Helvetica Neue',Helvetica,Arial,Sans-serif;
  font-size: 13px/22px;
  margin-top: 0pt;
  margin-right: 8px;
  margin-bottom: 0pt;
  margin-left: 8px;
}

code {
  margin-left: 3px;
  margin-right: 3px;
}

dt {
  font-weight: bold;
  margin-top: .5em;
  padding: 3px;
}

em {
  font-style: italic;
}

h1 {
/*   background-color: #2F4F4F;    /\* dark slate gray *\/ */
/*   color: #0000;               /\* wheat *\/ */
/*   border: 1px solid black; */
/*   font-size: large; */
/*   overflow: hidden;             /\* don't crowd the menu *\/ */
/*   padding: 0; */
/*   white-space: nowrap; */
  display: block;
  font-size: 2em;
  font-weight: bold;
  margin-top: 0.67em;
  margin-right: 0pt;
  margin-bottom: 0.67em;
  margin-left: 0pt;
}

/* h3 { */
/*   border-bottom: solid 1px #708090; /\* slate gray *\/ */
/*   border-right: solid 2px #E5E5E5;  /\* gainsboro *\/ */
/*   font-size: medium; */
/*   margin-top: 2em; */
/*   margin-bottom: .5em; */
/*   overflow: hidden;             /\* don't crowd the menu *\/ */
/*   padding-right: 6px; */
/* } */


    

hr {
  /*clear: both;*/
}

img {
  border: 0;
}

li {
  line-height: 1.2em;
  margin-top: .7em;
}

.current {
    background-color: rgb(229, 236, 249);
    z-index: 2;
    position: relative;
}

.topic .current a, .topic .current a:visited {
    text-decoration: none;
}

p.verse {
/*  clear: left;*/
/*  line-height: 2em;*/
  margin-left: 5%;
}

p.footnote {
    line-height:100%;
}

 p {
/*  line-height: 120%; */
    line-height: 120%;
    margin-left: 2em;
    margin-right: 2em;
}

/*  *#text-only { */
/*     line-height: 100%; */
/*     margin-left: 1em; */
/*     margin-right: 1em; */
/* } */




 ul,  dl,  ol{
    line-height:120%;
    margin-right: 2em;
    margin-left: 2em;
}


 h2 .toplink {
    display: none;
}


 h2 {
/*  border-bottom: solid 2px #708090; /* slate gray */
/*  clear: left;*/
  font-size: 1.5em;
  margin-top: 1.5em;
  margin-bottom: .5em;
  overflow: hidden;             /* don't crowd the menu */
  padding-right: 6px;
}


 h3 {
    background-color: #E6ECF9;    
    font-weight: bold;
    border-top: 1px solid #3366CC;
    padding: 1px 6px 1px 1em;   
    font-size: medium;
}

 h4 {
  border-bottom: dashed 1px #BEBEBE;    /*light gray */
 /* border-right: solid 2px #E5E5E5;       gainsboro */
  margin-top: 1.5em;
  margin-bottom: .7em;
  overflow: hidden;             /* don't crowd the menu */
  padding-right: 0;
  margin-left: 1.5em;
  margin-right: 0em;
}

 h4, h5,  h6,  h7,  h8,  h9{ 
    margin-right: 1em;
    margin-left: 1em;
    padding: 0px;
    overflow: hidden;             /* don't crowd the menu */
}

 hr {
    line-height:120%;
 /*    margin-right: 1em; */
/*     margin-left: 1em; */
/*    clear: right;*/
  margin-top: 0px;
  margin-bottom: 2px;
  padding: 0;
  height: 0px;
  color: #FFFFFF;
  border: none;
  border-top: 1px solid #AAAAAA;

}

.muse-table {
    width: auto;
    margin-right: 5%;
    margin-left: 5%;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    clear: right;
    line-height:125%;
    border-spacing: 0 !important;
    border-right: 1px solid rgb(51,102,204) !important; 
    border-bottom:1px solid rgb(51,102,204) !important; 
    border-left: none;  
    border-top: none; 
/*     border-collapse: collapse; */

}    

.muse-table th {
    width: auto;
    margin: 0;
    padding: 6px 12px 6px 12px;
    text-align: left;
    font-weight: bold;
    background-color: rgb(229, 236, 249);
    font-size: small;
    border-top: 1px solid rgb(51,102,204) !important; 
    border-left: 1px solid rgb(51,102,204) !important; 
    border-collapse: collapse;
}
.muse-table td {
    margin: 0;
    width: auto;
    padding: 6px 12px 6px 12px;
    text-align: left;
    font-size: small;
    border-top: 1px solid rgb(51,102,204) !important; 
    border-left: 1px solid rgb(51,102,204) !important; 
    border-collapse: collapse;
}


pre.example {
/*   margin-left: 3%; */
/*   margin-top: 1.2em; */
/*   margin-bottom: 1.2em; */
  /* clear: right; */
 margin-left: 5%;
 margin-right: 5%;
 font-size: 9pt;
 padding: 0.99em 0.99em;
/* clear: right;*/
 line-height: 125%;
 border: 1px solid rgb(187,187,187);
 background-color: rgb(250,250,250); 
 color: #007000;
}

pre.src {
/*   margin-left: 0%; */
/*   margin-top: 1.2em; */
/*   margin-bottom: 1.2em; */
  /* clear: right;   */
 margin-left: 5%;
 margin-right: 5%;
 font-size: 9pt;
 padding: 0.99em 0.99em;
 clear: right;
 line-height: 125%;
 border: 1px solid rgb(187,187,187);
 background-color: rgb(250,250,250); 
 color: rgb(0,64,0);
}


 p.verse {
  font-family: inherit;
/*  line-height: 2em; */
  margin-left: 5%;
  margin-right: 5%;
}


pre.verse {
  font-family: inherit;
/*  line-height: 2em; */
  margin-left: 5%;
  margin-right: 5%;
}

pre {
  font-family: monospace;
/*   margin-left: 3%; */
  white-space: pre;
}

span.footdate {
  color: #666666;               /* dark olive green */
  font-weight: bold;
}

strong {
  font-weight: bold;
}

table {
  overflow: hidden;             /* don't crowd the menu */
}

table.image {
  clear: right;
}

ul {
  list-style-type: disc;
  margin-bottom: 1.5em;
}

/* Menu */

/* menu */

.menu:before {
    line-height: 0.1;
    font-size: 1px;
    background: transparent url("../images/menu_tr.gif") no-repeat top right;
    margin: 0;
    height: 9px;
    display: block;
    border-bottom: 1px solid #ddd;
    content: url("../images/key-point_tl.gif");
}
.menu {
    background: #E0E9E9 url("../images/menu_back.gif") right repeat-y;
    float: right;
    clear: both;
}
.menu:after {
    display: block;
    padding-top: 0;
    line-height: 0.1;
    font-size: 1px;
    content:  url("../images/key-point_bl.gif");
    margin: 0 0 0 0;
    height: 8px;
    background: transparent url("../images/menu_br.gif") scroll no-repeat bottom right ;
    border-top: 1px solid #fff;
}

.menu, .menuitem {
    margin: 0;
    padding: 0;
    list-style: none;
}

.menuitem {
    FONT: 11px Verdana, Courier New;
    display: inline;
    padding: 0;
    margin: 0;
}

.menuitem a {
    display: block;
    padding: 1px 10px 1px 10px;
    color: #00008b;
    text-decoration: none;
    background: #EDF2F2;
    border-bottom: 1px solid #ddd;
    border-top: 1px solid #fff;
    border-right: 1px solid #ddd;
}

.menuitem a:hover {
    /*background: #E0E9E9;*/
    color: #c00;
}

.menuother {
  padding-left: 2px;
  padding-right: 2px;
}

#tooltipbox {
  float: right;
  visibility: hidden;
}

#tooltip {
  color: #006400;               /* dark green */
}

/* Footnote */

.navfoot hr {
  margin-top: 0px;
  margin-bottom: 2px;
  padding: 0;
  height: 0px;
  color: #3366CC;
  border: none;
  border-top: 1px solid #3366CC;
}

.navfoot a img {
  padding-top: 2px;
  padding-right: 0;
  padding-bottom: 0;
  padding-left: 2px;
}

.navfoot table {
  border-spacing: 0;
  border-width: 0;
  clear: right;
  margin: 0;
  padding: 0;
}

.navfoot td {
  border-spacing: 0;
  border-width: 0;
  margin: 0;
  padding: 0;
}

.navfoot td.iconbox {
  background-color: #F5F5F5;    /* white smoke */
  border-spacing: 0;
  border-width: 1px;
  border-left: 1px solid black;
  border-top: 1px solid black;
  border-right: 1px solid #D3D3D3;    /* light gray */
  border-bottom: 1px solid #D3D3D3;   /* light gray */
  margin: 0;
  padding-top: 2px;
  padding-right: 5px;
  padding-bottom: 2px;
  padding-left: 2px;
}

.navbar ul li {
    text-decoration: none;
}


/* my own */

body {
 font-family: Helvetica,Arial,sans-serif;
}

/* .banner { */

/* } */

/* .banner div { */
/*     display: inline; */
/* } */

.banner {
    height:90px;
}


.banner .logo {
    display: block;
    float:left;
    width: 300px;
    left: 0pt;
    top: 9px;
}

.banner form {
    float: right;
    margin-top:60px;
}

.navbar ul {
    font-size: 100%;
    text-align: right;
    line-height: 1em;
    list-style-type: none;
    list-style-image: none;
    list-style-position: outside;
    margin: 0;
    padding: 0.47em 0;
    white-space: nowrap;
}

.navbar * {
    white-space: nowrap;
}

.navbar ul li {
    float: none;
    display: inline;
    text-align: right;
    list-style-type: none;
    list-style-image: none;
    list-style-position: outside;
    margin-top: 0pt;
    margin-right: 0pt;
    margin-bottom: 0pt;
    margin-left: 0pt;
    padding-top: 0.47em;
    padding-right: 0pt;
    padding-bottom: 0.47em;
    padding-left: 0pt;
}

.navbar{
 background-color: #E6ECF9;    /* white smoke */
 border-top: 1px solid #3366CC;
 vertical-align: middle;
 padding: 1px 0 1px 0;      /*top right bottom left*/
}

.navbar div {
    display: block;
    font-size: 1.3em;
    height: 100%;
    line-height: 100%;
    background-color: transparent;
    padding-top: 0.24em;
    padding-right: 0pt;
    padding-bottom: 0.22em;
    padding-left: 0pt;
    float: left;
    vertical-align: middle;
    font-weight: bold;
}

.navbar div a {
  font-weight: bold;
  vertical-align: middle;
}    


.toplink {
    text-align: right;
    float: right;
}

.topic {
    float: left;
    clear: left;
    width: 183px;
 /*    display: block; */
    padding-top: 0.5em !important;
    padding-right: 0pt !important;
    padding-bottom: 140px  !important;
    padding-left: 0 !important;
    margin: 0px 0px 0px 0px !important;
}


.topic li {
    list-style-type: none;
    list-style-position: outside;
    margin-left: 0px;
    margin-top: 0px;
    line-height: 130%;
    position: relative;
    vertical-align: middle;
    padding-left: 15px;
}

/* the headline of the project */
.topic li div {
    margin-left: -15px;
    padding-left: 15px;
    position: relative;
    vertical-align: middle;
}

.topic li div a.tgl-control {
    position: absolute;
    margin-top: 0px;
    width:9px;  
    height: 9px;
    top: 5px;
    left: 3px;
    background-color: transparent;
    vertical-align: middle; 
}

.topic li div a.tgl-control img{
    padding-right: 4px;
    margin-top: -10px;
    vertical-align: middle; 
    width: 9px; 
    height: 9px;
    left: 0px;
    top: 0px;
    background-color: transparent;
}

.topic li div a.tgl-control img {
    background-image: url(../image/cleardot.png);
    position: relative;
}

.topic li div a.tgl-control img.tgl-plus {
    background-position:-28px -146px;        
}

.topic li div a.tgl-control img.tgl-minus {
    background-position:-28px -210px;
}

.topic li div a.tgl-control img.tgl-plus:hover {
    background-position:-28px -344px;    
}

.topic li div a.tgl-control img.tgl-minus:hover {
    background-position:-28px -408px;    
}

.topic ul{
    padding: 0 0 0 3px;
    margin: 0 0 !important;
}

.topic ul ul, .topicf ul div {
    display: block;
    padding-left: 0px;
    margin: 0 0 !important;
}

 {
    top: 0px;
    position: relative;
    display: block;
    width: auto;
    float: none;
    padding-left: 24px;
    border-left-width: 3px;
    border-left-style: solid;
    border-left-color: rgb(229, 236, 249);
    margin-left: 181px;
}


/*
.container {
    overflow-y: hidden;
}*/

/** Hide/Show Arrows **/
#collapsible-arrow {
    width: 4px;
    height: 12px;
    left: 202px;
    background-color: transparent;
/*    background-image: url(file:///home/kwgj48/projects/Pages/image/hide-arrow.gif);*/
    background-image: url(../image/hide-arrow.gif);
    background-repeat: no-repeat;
    background-attachment: scroll;
    background-position: left top;
    position: absolute;
    margin-left: -10px;
    display: none;
    float: left;
    z-index: 5;
}

#collapsible-arrow.collapsed {
    background-color: transparent;
/*    background-image: url(file:///home/kwgj48/projects/Pages/image/show-arrow.gif);*/
    background-image: url(../image/show-arrow.gif);
    background-repeat: no-repeat;
    background-attachment: scroll;
    background-position: left top;
    margin-left: 27px;
}

#collapsible {
    position: absolute;
    left: -5px;
    top: 0pt;
    width: 3px;
    overflow-x: hidden;
    overflow-y: hidden;
    border-right-width: 2px;
    border-left-width: 2px;
    border-right-style: solid;
    border-left-style: solid;
    border-right-color: rgb(255, 255, 255);
    border-left-color: rgb(255, 255, 255);
    border-top-width: medium;
    border-top-style: none;
    border-bottom-width: medium;
    border-bottom-style: none;
    background-color: rgb(229, 236, 249);
    background-image: none;
    background-repeat: repeat;
    background-attachment: scroll;
    background-position: 0% 0%;
    cursor: pointer;
}

#collapsible.hover {
    border-top-color: rgb(211, 217, 229);
    border-right-color: rgb(211, 217, 229);
    border-bottom-color: rgb(211, 217, 229);
    border-left-color: rgb(211, 217, 229);
    border-top-width: 1px;
    border-right-width: 1px;
    border-bottom-width: 1px;
    border-left-width: 1px;
    width: 5px;
}

img.latex-display {
    margin-left: 36%;
    display: block;
}

.opt {
    font-style: italic;
}

/* set overflow to auto to display the slidebar if
 the pre section is too narrow to display its contents
 */
pre {
   overflow-y: auto;
   overflow-x: auto;
}

 .note {
    display: block;
    border-top: 1px solid #3366CC;
    border-bottom: 1px solid #3366CC;
    background-color: #EFEFEF;
    padding: 3px 7px 3px 12px;
}

/* Inner list style */

 ul ul,  ul ol,  ul dl {
    list-style-position: inside;
    margin-left: 0px;
    padding-left: 10px;
}

 ol ul,  ol ol,  ol dl {
    list-style-position: inside;
    margin-left: 0px;
    padding-left: 10px;
}

 dl ul,  dl ol,  dl dl {
    list-style-position: inside;
    margin-left: 0px;
    padding-left: 10px;
}

 ul ul{
    list-style-type: circle;
}


 ul ul ul{
    list-style-type: square;
}


 ul{
    list-style-type: disc;
}

 ol{
    list-style-type: decimal;
}

 ol ol{
    list-style-type: upper-roman;
}

 ol ol ol{
    list-style-type: lower-alpha;
}

 .image-caption {
   font-weight: bold;
}

 code {
    color: rgb(0,64,0);
}

 .src {
    background-color: rgb(250,250,250) !important;
}

/* add by deli, copy from wordpress gamil theme */
#navigation {
    border-bottom:1px solid #C9D7F1;
    clear:both;
    color:#0000CC;
    font-size:12px;
    height:25px;
    font-family:Arial,Tahoma,Verdana,Sans-serifs;
    font-size:12px;
    font-size-adjust:none;
    font-style:normal;
    font-variant:normal;
    font-weight:normal;
    line-height:normal;
    text-align:justify;
}

#navigation ul {
    float:left;
    list-style-image:none;
    list-style-position:outside;
    list-style-type:none;
    margin:5px 0;
    padding:0;
}

#navigation li {
    float:left;
    padding:0 20px 0 0;
    margin-top:0;
}
#navigation a {
    color: #0000FF;
    text-decoration: underline;
}

.rss {
    -moz-background-clip:border;
    -moz-background-inline-policy:continuous;
    -moz-background-origin:padding;
    background:transparent url(../images/rss.png) no-repeat scroll left center;
    float:right;
    margin:5px;
    padding:0 0 0 18px;
}