nav > ul, ol, li {
    margin: 0; padding: 0; border: 0;
}

body {
    background: #ddddff;
    font-family: Helvetica, sans-serif;
}

body article {
    margin: 3em 1em 2em 0em;
    padding: 1em;
}

body>header {
    position: fixed;
    width: 100%;
    top: 0px;
    left: 0px;
    background-color: #efefef;
    -webkit-box-shadow:0 1px 4px rgba(0, 0, 0, 1), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    -moz-box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
}

body>header>* {
    position: relative;
}

body>footer {
    position:fixed;
    z-index: 100;
    bottom: 0;
    left: 0;
    background-color: #efefef;
    width: 100%;
    -webkit-box-shadow:0 1px 4px rgba(0, 0, 0, 1), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    -moz-box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
}

nav ul {
    margin-top: 3px;
    margin-left: 3px;
}
nav ul ul {
    margin-top: 0px;
    margin-left: 0px;
    display: none;
}

    nav ul li:hover > ul {
        display: block;
    }

    nav ul li:before, nav ul li:after
    {
        content:"";
        position:absolute; 
        z-index:-1;
        -webkit-box-shadow:0 0 2px rgba(0,0,0,0.1);
        -moz-box-shadow:0 0 2px rgba(0,0,0,0.1);
        box-shadow:0 0 2px rgba(0,0,0,0.1);
        top:0;
        bottom:0;
        left:0px;
        right:0px;
        -moz-border-radius:3px / 1px;
        border-radius:3px / 1px;
    }

ul.menu li {
    list-style: none
}
nav ul {
    background: #efefef;
    background: linear-gradient(top, #efefef 0%, #bbbbbb 100%);  
    background: -moz-linear-gradient(top, #efefef 0%, #bbbbbb 100%); 
    background: -webkit-linear-gradient(top, #efefef 0%,#bbbbbb 100%); 
    box-shadow: 0px 0px 9px rgba(0,0,0,0.15);
    position: relative;
    list-style: none;
    display: inline-table;
    z-index: 100;
}
    nav ul:after {
        content: ""; clear: both; display: block;
    }

    nav ul li {
        float: left;
        white-space:nowrap;
        list-style: none;
    -webkit-box-shadow:0 1px 4px rgba(0, 0, 0, 0.3), 0 0 40px rgba(0, 0, 0, 0.1) inset;
       -moz-box-shadow:0 1px 4px rgba(0, 0, 0, 0.3), 0 0 40px rgba(0, 0, 0, 0.1) inset;
            box-shadow:0 1px 4px rgba(0, 0, 0, 0.3), 0 0 40px rgba(0, 0, 0, 0.1) inset;
    }
        nav ul li:hover {
            background: #8b849f;
            background: linear-gradient(top, #8b849f 0%, #afa9b5 40%);
            background: -moz-linear-gradient(top, #8b849f 0%, #afa9b5 40%);
            background: -webkit-linear-gradient(top, #8b849f 0%, #afa9b5 40%);
        }
            nav ul li:hover a {
                color: #333;
            }
        
        nav ul li a {
            color: #333;
	        text-decoration: none;
            display: block; padding: 5px 10px;
        }
            
        
    nav ul ul {
        background: #cfc9d5; border-radius: 0px; padding: 0;
        position: absolute; top: 100%;
    }
        nav ul ul li {
            float: none; 
	        white-space:nowrap;
            position: relative;
        }
            nav ul ul li a {
                padding: 5px 10px;
                color: #333;
            }
                /*nav ul ul li a:hover {
                    background: #cbc4df;
                }*/
        
    nav ul ul ul {
        position: absolute; left: 100%; top:0;
    }

.active {
    background-color: #abcdef;
    font-style: italic;
}

.this {
    background-color: #789abc;
    font-weight: bolder;
}

.directory {
    padding-left: 2em;
    background-image: url('https://www.lirmm.fr/~maizi/images/folder.png');
    background-repeat: no-repeat;
    background-position: left;
    z-index: 101;
}

.compass {
    padding-left: 1em;
    padding-right: 1em;
    background-image: url('https://www.lirmm.fr/~maizi/images/compass.png');
    background-repeat: no-repeat;
    background-position: center;
    z-index: 101;
}

.disabled {
   pointer-events: none;
   cursor: default;
}

pre {
    margin: 2em;
    padding: 1em;
    background-color: #fff;
    -webkit-box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    -moz-box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
}

.embedded {
    white-space:nowrap;
    list-style: none;
    -webkit-box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    -moz-box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    box-shadow:0 1px 4px rgba(0, 0, 0, 0.5), 0 0 5px rgba(0, 0, 0, 0.1) inset;
    positon: relative;
    display: inline-block;
}