.italic { font-style: italic}
.code { font-family: monospace}
.greeter p {font-size: 16pt;}
.ui.text.container.no-pad { padding-top:0px; }
.ui.dividing.header { margin-top:5em }
.ui.menu { margin-top:0px; border-radius: 0;}
.ui.stackable.menu.blue .item.right { padding:0px; }
.ui.label {margin: 12px 5px 5px 0; }
.lectures .item .label {margin:5px; margin-left:0px}
.breadcrumb {font-size: small; color:rgb(110, 110, 110); width: 100%; text-align: center; padding-bottom: 12pt; }
.ui.publications.grid {margin-top:10px}
.ui.publications.text.container {font-size: 0.85em}
.main img { max-width: 100%; }
.ui.text.container { margin-bottom: 50px; }

@media only screen and (min-device-width: 1000px) {
    .ui.sometimes-fixed.menu, .ui[class*="top fixed"].menu {
        top: 0;
        left: 0;
        right: auto;
        bottom: auto;
    }

    .ui.menu.sometimes-fixed {
        position: fixed;
        z-index: 101;
        margin: 0;
        width: 100%;
    }

    .ui.main.container {
        margin-top:80px;
        margin-bottom: 50px;
    }
}