body,h1,h2,h3,h4,h5,h6,p,div,span{font-family:"Helvetica Neue", Helvetica, Arial, sans-serif}article{margin-left:1em}#site-container{border-color:hsl(200,80%,90%)}#menu-main li{float:left;display:inline-block;background-color:hsl(200,80%,90%)}#menu-main ul{background-color:hsl(200,80%,90%)}nav.main-navigation{background-color:hsl(200,80%,90%);background-image:none;border-top:0;border-left:0;border-right:1px solid hsl(270,50%,80%);border-bottom:1px solid hsl(270,50%,80%)}nav.main-navigation li{border-left:1px solid hsl(270,50%,80%);border-bottom:0;border-right:0}#menu-main ul.sub-menu{border-right:1px solid hsl(270,50%,80%);border-top:1px solid hsl(270,50%,80%);padding:0;margin:0}nav.main-navigation .sub-menu li{border-left:1px solid hsl(270,50%,80%);border-bottom:1px solid hsl(270,50%,80%)}h1.archive-title{display:none}.widget{color:#000}.post-summary,.post-calendar-item{background-color:hsl(50,100%,96%)}.computational-logic,li#menu-item-684,.menu-item-684{background-color:hsl(130,100%,96%)}.philosophical-logic-group,li#menu-item-681,.menu-item-681{background-color:hsl(65,100%,96%)}.logic-and-games,li#menu-item-683,.menu-item-683{background-color:hsl(95,100%,96%)}.philosophy-colloquium{background-color:hsl(0,100%,96%)}.models-of-pa,li#menu-item-576,.menu-item-576{background-color:hsl(320,100%,96%)}.model-theory,li#menu-item-267,.menu-item-267{background-color:hsl(200,100%,96%)}.set-theory,li#menu-item-268,.menu-item-268{background-color:hsl(235,100%,96%)}.workshop,li#menu-item-269,.menu-item-269 li{background-color:hsl(270,100%,96%)}.mamls{background-color:hsl(35,100%,96%)}table.calendar{margin:0;border:3px solid #000;border-radius:15px}table.calendar .Saturday{background-color:hsl(0,0%,96%)}table.calendar .Sunday{background-color:hsl(0,0%,96%)}table.calendar td.today{background-color:hsl(50,70%,96%)}table.calendar td{margin:.5ex;padding:0;min-width:8ex;border:1px solid #000}table.calendar tr{min-height:2em}table.calendar th{padding:.5ex;margin:0;border:1px solid #000}.calendar div.strut{min-height:2em;width:0;padding:0;margin:0;float:right}.calendar span.day-number{font-size:1ex;line-height:1em;margin-left:1ex}div.month-start{float:left;font-size:3ex;font-weight:700;margin:1ex 1ex 1ex 0}div.month-end{float:right;font-size:3ex;font-weight:700;margin:1ex}div.talk-full-view,div.speaker-about,div.summary,div.speaker-summary,div.speaker-full-view{border:1px solid hsl(270,50%,80%);border-radius:15px;padding:15pt 3%;margin:30pt 3% 0}div.talk-citation{padding:5pt 3%;margin:15pt 3%;min-height:100px}div.talk-by-this-speaker{padding:5pt 3%;margin:15pt 3%}.tag-list span.tag{font-size:.7em;margin-right:1em;display:inline-block}.speaker-image{clear:both}.speaker-full-view .speaker-talk-list{font-size:.875em}.talk-list-header{font-style:italic;clear:both}.speaker-link{font-size:1.6em;line-height:1.2;font-weight:400;display:inline-block}.speaker-url{font-size:.8em;font-weight:200;margin:5pt;display:inline-block}.speaker-full-view div.speaker-image{float:left;margin:1em 2em 1em 0}.speaker-talk-list{clear:both}.speaker-affiliation{font-weight:400}div.speaker-summary{clear:both}.speaker-summary div.speaker-image{float:right;margin:0 0 1em 2em}.speaker-summary div.speaker-affiliation{line-height:250%}.speaker-profile{font-style:italic}.speaker-summary div.speaker-profile{font-size:.875em}div.speaker-icon{margin-left:auto;margin-right:auto;max-width:150pt;text-align:center;font-size:normal}.speaker-icon div.speaker-image{min-height:120pt;margin-right:auto;display:block;margin-left:auto}.speaker-icon .speaker-link{clear:both;font-size:1.3em}.speaker-icon .speaker-affiliation{clear:both;font-size:.8em}div.speaker-icon-slider{border:1px solid hsl(270,50%,80%);border-radius:15px;width:150pt;height:160pt;text-align:center;font-size:normal;line-height:normal;display:table-cell;vertical-align:middle;float:none;padding:1em;margin:0}div.speaker-icon-slider div.speaker-image{height:120pt;width:120pt;margin-right:auto;margin-left:auto;float:none;display:block;padding:0}.speaker-icon-slider div.speaker-link{clear:both;float:none;margin:0;display:block;font-size:.9em}.speaker-icon-slider div.speaker-affiliation{clear:both;float:none;display:block;font-size:.8em}span.seminar-list{float:left;max-width:50%}span.seminar-link{font-size:120%;margin:0 1em 0 0;float:left;display:inline-block}span.talk-date{float:right;margin:0 0 0 1em;display:inline-block}span.talk-time{float:right;margin:0 0 0 1em;display:inline-block}span.talk-location{float:right;margin:0 0 0 1em;clear:right;display:inline-block}span.venue-comment{float:right;margin:0 0 0 1em;display:inline-block}span.date-tentative{color:red;font-size:.8em;float:right;display:inline-block;margin:0 0 0 1em}span.note-new-time{color:red;font-size:.8em;float:right;margin:0 0 0 1em}.talk-full-view div.speaker-image{float:right;clear:right;margin:2em 0 2em 2em}.talk-full-view h1.talk-title{padding-top:1em;padding-right:1em;font-weight:400;clear:left}.talk-full-view div.speaker-profile{margin:2em 4em;font-style:italic}.talk-full-view div.speaker-profile p{font-size:.8em;line-height:1.3em;font-style:italic}div.make-a-poster{float:left;font-size:60%;margin:0 0 15pt 4%}div.post-details{float:right;font-size:60%;margin:0 4% 15pt 0}a.post-edit-link{float:right;font-size:60%;margin:0 4% 15pt 0}.summary span.seminar-list{float:right}.summary span.seminar-link{float:right;margin:0 0 0 1em;display:inline-block}.summary span.date{float:left;margin:0 1em 0 0;display:inline-block}.summary span.time{float:left;margin:0 1em 0 0;display:inline-block}.summary span.location{float:left;margin:0 1em 0 0;display:inline-block}.summary span.venue-comment{float:left;margin:0 1em 0 0;display:inline-block}.summary span.date-tentative{color:red;font-size:.8em;float:left;margin:0 1em;display:inline-block}.summary span.note-new-time{color:red;font-size:.8em;margin:0 1em 0 0;float:left}.summary div.speaker-image,.summary div.featured-image{float:right;clear:right;padding:1em 0 1em 1em}.summary h1.title{font-size:1.8em;font-style:normal;font-weight:400;clear:left;padding-top:.5em;margin:.5em 0}.summary div.speaker-link{font-size:1.3em;display:inline-block;margin:0 1ex 1ex 0}.summary div.speaker-affiliation{display:inline-block;margin:0 1ex 1ex 0}.summary div.count{float:right;font-size:.8em}.participants .speaker-image-link img,.recent-speakers .speaker-image-link img{display:inline-block;margin:1ex;width:40px;height:40px}div.speaker-talk-list{clear:both;margin:2em}div.calendar-item{clear:both;border:1px solid hsl(270,50%,80%);border-radius:5px;font-size:x-small;line-height:1.2;margin:1ex;padding:.5ex 1ex}div.calendar-item .seminar-list span.seminar-link{margin:0 1ex 0 0;float:left}div.calendar-item span.seminar-list{margin:0;float:left;max-width:70%}div.calendar-item span.talk-time,div.calendar-item span.date{display:inline block;float:right;margin:0}div.calendar-item span.date-tentative{color:red;font-size:xx-small;margin:0}div.calendar-item span.note-new-time{color:red;font-size:xx-small;margin:0}div.calendar-item div.speaker-title-block{clear:left;float:left;margin:.5ex 0 0}div.calendar-item div.speaker-link,.calendar-item div.post-link{font-size:larger;line-height:1.2}div.calendar-item div.speaker-affiliation{font-size:.8em}div.calendar-item div.speaker-image,div.calendar-item div.featured-image{float:left;clear:left;margin:0 1ex 0 0;padding:0;width:40px;height:40px}div.calendar-item div.talk-title,div.calendar-item div.subtitle{font-style:italic;margin:0}.calendar-day-items span.date{display:none}div.talks-slider div.sliding-container{padding-bottom:0}div.talks-slider .calendar-item span.talk-time{display:none}.talk-by-this-speaker span.seminar-list{float:left;margin:0}.talk-by-this-speaker span.seminar-link{float:left;margin:0 1ex 0 0;display:inline-block}.talk-by-this-speaker span.talk-date{float:right;margin:0 0 0 1ex;display:inline-block}.talk-by-this-speaker span.talk-time{float:right;margin:0 0 0 .5em;display:inline-block}.talk-by-this-speaker span.date-tentative{color:red;font-size:.8em;float:right;margin:0;display:inline-block}.talk-by-this-speaker div.talk-title{font-size:1.2em;font-style:normal;font-weight:400;clear:left;margin-left:.5em 0}img{border:0;padding:0}.clear{clear:both}div.calendar-day{border:1px solid hsl(270,50%,80%);max-width:25%}div.poster{padding:2em 3em;border-radius:25px}div.poster-header{font-size:large}.poster-header span.seminar-list{font-size:120%;font-weight:700}.poster-header span.seminar-title{clear:left;float:left;display:inline-block}.poster-header span.talk-location{clear:none}.poster div.banner-image{padding:1em 0;clear:both}div.poster-body{font-size:normal;line-height:1.1;margin:0 2em}.poster-title-matter h1,.poster-title-matter h2,.poster-title-matter h3{text-align:center}.poster div.speaker-image{float:right;clear:right;margin:0 0 1em 1em;max-width:130pt;max-height:130pt}.poster div.about-this-speaker{margin:0 2em}.poster div.speaker-profile p{font-style:italic;font-size:small;line-height:1.2;font-weight:lighter}.poster div.poster-footer{position:relative}.poster div.poster-footer .logo-text{float:left;position:absolute;bottom:0;left:135px}.poster div.poster-footer h3{margin:0}.poster div.poster-footer .qr-code{float:left;margin:0}.qr-code img{border:0}.poster div.post-url{font-size:.7em;font-weight:lighter;font-family:"Lucida Console", Monaco, monospace}body.page-id-1753 #header-container{display:none}body.page-id-1753 #footer-container{display:none}body.page-id-1753 #site-container{border:0}#main #content article#post-1753{border-width:0}div#content article.sticky{background:#fff}div#content article.post{border-width:0}article.sticky div.summary{border-width:3px}article.type-talks header.entry-header{display:none}article.type-speaker header.entry-header{display:none}#colophon div.site-info{border-width:0}#author-info{display:none}.single-talks #author-info{display:none}.single-speaker #author-info{display:none}.entry-meta{display:none}header.entry-header{display:none}@media print{a:link,a:visited{text-decoration:underline;color:#000}a:after{content:""}body{background:#fff;color:#000;margin:0}hr{color:#ccc;background-color:#ccc}h1,h2,h3,h4,h5,h6,code,pre{color:#000;text-transform:none}h1{margin-top:1em}}