/*******************
 *   MAIN STYLES   *
 *******************/
 
body {
    margin: 0em .3em 0em .3em;
    font-family: Arial;
    font-size: 10pt;
    color: #0a3080;
}

.content {
    padding-left: 1em;
    padding-right: 1.5em;
}

p {
    margin-top: .4em;
    margin-bottom: 1em;
    text-align: justify;
/*    font-size: .9em;  */
}

/** Version of paragraph with tight margins. */
p.tight {
    margin-top: .4em;
    margin-bottom: .4em;
}


h1 {
    margin-top: 1em;
    margin-bottom: .5em;
    font-size: 1.3em;
    font-weight: bold;
}

/** Custom top margin when heading is first on page. */
h1.first {
    margin-top: .3em;
}

h2 {
    margin-top: .5em;
    margin-bottom: .4em;
    font-size: 1.15em;
    font-weight: bold;
}

h3 {
    margin-top: .4em;
    margin-bottom: .3em;
    font-size: 1em;
    font-weight: bold;
}

hr {
    border: none;
    height: .2em;
    background-color: #9098a8;
}

/* LINK STYLES */

/* a { font-weight: bold; color: #0a3080; } */
a { color: #0a3080; }
a:hover { color: #0f70c0; }
a img { border: none; }

/** Discrete links. **/
a.discreet { font-weight: normal; text-decoration: none; border-bottom: 1px #cccccc solid; }
a.discreet:hover { text-decoration: underline; border-bottom: none; }

/** Strong links. **/
a.strong { font-weight: bold; }

/* Plain anchor. Remove all styling. */
a.plainanchor { color: #0a3080; text-decoration: none; border: none; }
a.plainanchor:hover { color: #0a3080; text-decoration: none; border: none; }

/** Make discreet links serving as headers. **/
h1 a { text-decoration: none; border-bottom: 1px #bbbbbb solid; }
h1 a:hover { text-decoration: underline; border-bottom: none; }
h2 a { text-decoration: none; border-bottom: 1px #bbbbbb solid; }
h2 a:hover { text-decoration: underline; border-bottom: none; }
h3 a { text-decoration: none; border-bottom: 1px #bbbbbb solid; }
h3 a:hover { text-decoration: underline; border-bottom: none; }

/* "Button" link. */
a.button { font-weight: bold; color: #214795; text-decoration: none; }
a.button:hover { color: #3293C3; text-decoration: underline; }
a.hide-button {
    font-weight: bold; 
    color: #214795;
    display: block;
    text-align: right;
    text-decoration: none;
}
a.hide-button:hover { color: #3293C3; text-decoration: underline; }



/* GENERIC CLASSES */

.note {
    color: #092051;
    font-size: .8em;
}
.footer {
    margin-top: 1em;
    color: #092051;
    font-size: .8em;
}
.addendumnote {
    padding-left: 1em;
    font-weight: normal;
    font-size: .8em;
}
.error {
    color: red;
    font-size: 0.9em;
}
.warning {
    color: purple;
    font-size: 0.9em;
} 
p.itemnote{
    margin-top: .2em;
    margin-bottom: .2em;
}

.descriptionimage {
    float:left; 
    margin-right: 2em;
    margin-bottom: 1em;
}


/* LIST STYLES */
ul.plainlist {
    list-style-type: none;
}

ul.spacedlist li { margin-bottom: .5em; }


/*****************
 * HEADER STYLES *
 *****************/
 
.logo {
     text-align: left;
     background-color: white;
 }
.up-link {
     text-align: right;
     font-size: .8em;
     padding-right: .2em;
     background-color: white;
 }
.menu-option {
    border-top: solid 2px #0a3080;
    border-left: solid 2px #0a3080;
    border-bottom: none;
    border-right: none;
    background-color: #0a3080;
}
.menu-option a {
    display: block;
    padding-top: .5em;
    padding-bottom: .5em;
    /* width: 10em; */
    text-align: center;
    font-size: .9em;
    background-color: #0a3080;
    color: #d3dae9;
    text-decoration: none;
}
.menu-option a:hover {
    background-color: #0c50a0;
    color: white;
}
.menu-option-selected {
    border-left: solid 2px #0a3080;
    border-top: solid 2px #0a3080;
    border-bottom: none;
    border-right: none;
    background-color: #d3dae9;
}
.menu-option-selected-text {
    display: block;
    padding-top: .5em;
    padding-bottom: .5em;
    /* width: 10em; */
    text-align: center;
    font-size: .9em;
    font-weight: bold;
    background-color: #d3dae9;
    color: #0a3080;
}
.menu-filler {
/*    background-image: url("http://www.dcsc.tudelft.nl/~lbusoniu/img/menu-filler-right.gif"); */
    background-color: #d3dae9;
    height: 100%;
}
.menu-filler-down {
    margin: 0em;
    width: 100%;
    height: 1.5em;
}


/*****************
 * FOOTER STYLES *
 *****************/

a.note-link {
    margin-left: .2em;
    margin-right: .2em;
    font-weight: normal;
    color: #214795;
    text-decoration: none;
}
a.note-link:hover {
    color: #3293C3;
    text-decoration: underline;
}
.spacer {
    font-family: courier;
    white-space: pre;
}

/*
.logout-button {
    border-right: solid 2px #0a3080;
    padding-top: .5em;
    padding-bottom: .5em;
    width: 100%;
    font-size: .7em;
    background-color: #0a3080;
    color: #b0b8c8;
    text-align: right;
}
.logout-button a { color: #b0b8c8; }
.logout-button a:hover { color: #e3eaf9; }
*/

/**********************************
 * OPTIONAL DETAILS BLOCK DISPLAY *
 **********************************/
 
.embedded-details {
    text-align: justify;
    border: solid 1px #092051;
    background-color: #EBEEF2;
    margin: .5em .2em 1em .5em;
    padding: .5em .6em .4em .6em;
    width: 40em;
}