/* Tree indentations */

.indent0 {}
.indent1 {padding-left: 15px;}
.indent2 {padding-left: 30px;}
.indent3 {padding-left: 45px;}
.indent4 {padding-left: 60px;}
.indent5 {padding-left: 75px;}
.indent6 {padding-left: 90px;}
.indent7 {padding-left: 105px;}
.indent8 {padding-left: 120px;}
.indent9 {padding-left: 135px;}

.menuindent0 {}
.menuindent1 {padding-left: 0px;}
.menuindent2 {padding-left: 0px;}
.menuindent3 {padding-left: 15px;}
.menuindent4 {padding-left: 30px;}
.menuindent5 {padding-left: 45px;}
.menuindent6 {padding-left: 60px;}
.menuindent7 {padding-left: 75px;}
.menuindent8 {padding-left: 90px;}
.menuindent9 {padding-left: 105px;}

.menuindent1
{
  background-color: #eee;
  margin-top: 2px;
  padding-left: 4px;
}
.menuindent1 .treeindenter {display: none;}

.menuindent0 a {}
.menuindent1 a {color: #444;}
.menuindent2 a {}
.menuindent3 a {color: rgb(102,102,102);}
.menuindent4 a {color: rgb(102,102,102);}
.menuindent5 a {color: rgb(102,102,102);}
.menuindent6 a {color: rgb(102,102,102);}
.menuindent7 a {color: rgb(102,102,102);}
.menuindent8 a {color: rgb(102,102,102);}
.menuindent9 a {color: rgb(102,102,102);}


/* Text block styles */

p.title
{
    font-size: 150%;
    height: 2em;
}
.strong
{
    font-weight: bolder;
}
.normal
{
}
.hey
{
    width: 220px;
    margin-right: 15px !important;
    float: left;
    background-image: url(../pictures/hostel/hey.gif);
    background-position: 0% 0%;
    background-repeat: no-repeat;
    padding-left: 45px;
    min-height: 60px;
}
#historycontent .strong, #historyarchitecture .strong
{
    background-color: rgb(190, 150, 90);
    color: white;
    padding: 0.5em;
}

span.note
{
    vertical-align: super;
    font-size: 90%;
    font-weight: bold;
    margin: auto 3px;
}