/*  Copyright (C) 2006-2019, Stefan Schwarzer <sschwarzer@sschwarzer.com> */

/*
light blue:   #d5c3dd  rgb(213,195,221);
medium blue:  #ae85b6  rgb(174,133,182);
dark blue:    #803689  rgb(128,54,137);
*/

* {
  box-sizing: border-box;
}

body {
    font-size: 90%;
    background-color: white;
}

/* Doesn't work with `header` alone because the `width` is
   overwritten by the width for the `.w3-col` class. */
#Header {
    width: 200px;
    padding: 8px;
    background-color: #d5c3dd;
}

#LanguageSelection a {
    color: #803689;
    text-decoration: none;
}

#MainColumn {
}

@media (min-width: 601px) {
    #Header {
        height: 100vh;
        position: fixed;
        /* If the viewport isn't high enough, this will add
           ugly scrollbars. However, that's still better than
           not being able to see all menu items. */
        overflow: auto;
    }

    #MainColumn {
        position: absolute;
        left: 200px;
    }
}


/* Navigation */

nav a, nav a:link, nav a:visited, nav a:hover, nav a:active {
    margin: 0px;
    margin-top: 2px;
    width: 210px;
    font-weight: bold;
}

nav a, nav a:link, nav a:visited {
    /* Default navigation button colors */
    color: white;
    background: #803689;
}

/* Invert navigation button colors when hovering over it or
   while selecting it. We must use `important` to overwrite
   the colors of `w3-button`, which are also defined as
   `important`. */
nav a.w3-button:hover, nav a.w3-button:active {
    color: #803689!important;
    background: white!important;
}

/* For the currently chosen page's button, add some styling so the
   user sees which page they're on. */
nav a.CurrentNav, nav a.CurrentNav:link, nav a.CurrentNav:visited,
nav a.CurrentNav:hover, nav a.CurrentNav:active {
    border-left: 5px #ae85b6 solid;
    border-top: 5px #ae85b6 solid;
    padding-left: 10px;
}


/* Headers */

h1, h2 {
    font-weight: bold;
}

h1 {
    font-size: 1.5em;
}

h2 {
    font-size: 1.2em;
}


/* Project list */

table.Projects td {
    padding-bottom: 0px;
}

table.Projects td.LeftColumn {
    font-weight: bold;
    padding-right: 1em;
}

table.Projects td.ProjectTitle {
    font-weight: bold;
}

table.Projects td.ProjectTitle .ProjectNote {
    font-weight: normal;
}

table.Projects td ul {
    margin-top: 0px;
    margin-bottom: 0px;
    margin-left: 0px;
    padding-top: 0px;
    padding-bottom: 0px;
    padding-left: 1em;
}

table.Projects td li {
    margin-left: 0px;
    padding-left: 0px;
}

table.Projects td.EndProject {
    /* Leave some room after sections for each project */
    padding-bottom: 2ex;
}


/* Misc */

strong {
    font-weight: bold;
}

em {
    font-style: italic;
}

address {
    font-style: normal;
}

span.PublicationTitle, span.EventTitle {
    font-style: italic;
}

table tr td {
    vertical-align: top;
}

.Print {
    display: none;
}

@media print {
    body {
        font-size: 11pt;
    }

    .Print {
        display: inline;
    }

    #Header {
        display: none;
    }

    #LanguageSelection {
        display: none;
    }

    #MainColumn {
        position: static;
    }
}