@import url('https://fonts.googleapis.com/css?family=Lora:400,400i,700|Open+Sans:400,400i,700&subset=latin-ext');

html {
    background: url('/media/img/bg_fade.jpg') top left repeat-x #b9c69d;
}

body {
/*    font-family: Arial,Lucida Grande,sans-serif;*/
    font-family: 'Lora', Georgia, serif;
    font-size: 16px;
}
#left_column, h1, h2, h3, h4, #title, .title_info, table.details {
	font-family: 'Open Sans', Arial, Lucida Grande, sans-serif;
	font-size: 16px;
}
em {
    font-style: italic;
}

strong {
    font-weight: bold;
}

a {
    text-decoration: none;
    color: #1b4710;
    outline: none;
}
a:link { text-decoration: none; }
a:link:hover, a:link:active { text-decoration: underline; color: #1b4710; }
a:visited { text-decoration: none; color: #1b4710; }
a:visited:hover { text-decoration: underline; color: #1b4710; }

p, table, ul, ol {
    line-height: 1.5em;
}
p {
    margin-top: 12px;
    text-align: justify;
}
ul {
    margin: 3px 8px 10px 16px;
}
ul li {
    list-style-type: circle;
    list-style-position: inside;
    margin: 4px 0 6px;
}
ol {
    margin: 3px 3px 10px 6px;
}
ol li {
    list-style-type: lower-alpha;
    margin: 6px 10px 8px 25px;
}
hr {
    border-top: none;
    border-bottom: 1px dashed black;
    border-left: none;
    border-right: none;
    width: 90%;
    margin: 20px auto;
}

audio {
    margin: 18px 10px 4px 30px;
}

#title_band {
    margin: 0;
    padding: 0;
    border-top: 2px solid black;
    border-bottom: 2px solid black;
    background-color: rgba(10, 10, 10, 0.9);
    box-shadow: 0px 4px 10px #333;
    opacity: 0.9;
    height: 40px;
    width: 100%;
    top: 10px;
    z-index: -1;
    position: absolute;
}
#title {
    margin: 0;
    border-top: 2px solid black;
    border-bottom: 2px solid black;
    background-color: rgba(10, 10, 10, 0.9);
    padding: 0;
    font-weight: bold;
    font-size: 1.8em;
    color: white;
    box-shadow: 0px 4px 10px #333;
    /* Clip the shadow at the sides */
    clip-path: polygon(-1px -50%, 100%+1px -50%, 100%+1px 150%, 0% 150%);
    opacity: 0.9;
    line-height: 40px;
    width: 100%;
    z-index: 100;
}
#title_inner {
    margin: 0 auto;
    position: relative;
    padding: 0 0 0 10px;
}
#title_inner a {
	color: white;
	text-decoration: none;
}
#title .dr {
    display: inline-block;
    font-variant: small-caps;
    font-size: 0.6em;
    position: relative;
    top: -8px;
    margin-left: -10px;
}

#banner {
    background: url('/media/img/hugespace_770.png') no-repeat top left #eee;
    min-height: 228px;
    border-bottom: 1px solid black;
}

#banner.lodger {
    background: url('/misc/lodger_banner.png') no-repeat top left;
}

#bottom_phd_banner {
    background: url('/media/img/hugespace_770.png') no-repeat top left;
    height: 228px;
    border-top: 1px solid black;
    margin-top: -10px;
}

h1 {
    font-weight: bold;
    font-size: 1.6em;
    padding: 8px 10px 6px 10px;
    text-align: right;
    border-bottom: 2px solid black;
    background-color: #C8DA9E;
}
h1.no_photo {
    padding-right: 10px;
}
h1 .subtitle {
    font-size: 0.75em;
    color: #454545;
    font-style: italic;
}

h2 {
    font-weight: bold;
    font-size: 1.4em;
    padding-left: 15px;
    margin-top: 24px;
    margin-bottom: 8px;
    border-left: 5px solid black;
    border-bottom: 1px dashed black;
    margin-left: 0px;
    line-height: 1.7em;
}

h3 {
    font-weight: bold;
    font-size: 1.1em;
    padding-left: 16px;
    margin-top: 16px;
    margin-bottom: 6px;
    border-left: 3px solid black;
    border-bottom: 1px dashed black;
    margin-left: 10px;
    line-height: 1.4em;
}

h4 {
    font-style: italic;
    font-size: 1.1em;
    padding-left: 15px;
    margin-top: 16px;
    margin-bottom: 6px;
    border-bottom: 1px dashed black;
    margin-left: 40px;
    line-height: 1.4em;
}

/* Obfuscation of email address */
span.obfusc {
    display: none;
}

.title_photo {
    border: 1px solid black;
    padding: 1px;
    background-color: #E4F0DF;
    margin: -5px 10px 5px 15px;
    box-shadow: 0px 0px 3px black;
    position: relative;
    float: right;
    z-index: 200;
}
.title_photo img {
    display: block;
    border: 1px solid black;
}

#page {
    margin: 0px auto 10px auto;
    max-width: 772px;
    padding-bottom: 10px;
}

#left_column {
    border-left: 1px solid black;
    border-right: 1px solid black;
    border-bottom: 1px solid black;
    background-color: #C8DA9E;
    box-shadow: 1px 2px 4px rgba(50, 50, 50, 0.8);
    padding-top: 10px;
    position: relative;
}

#left_column ul {
    margin: 12px 12px 9px;
}
#left_column ul li {
    display: inline-block;
    list-style-type: none;
    margin: 5px 0;
}
#left_column ul li a {
    padding: 5px 4px;
    border: 1px solid transparent;
}
#left_column ul li a.current:hover {
    background-color: #9AAC70;
}
#left_column ul li a:hover {
    background-color: #E4F0DF;
    border: 1px solid #8ea5a0;
    text-decoration: none;
}
#left_column ul li .current {
    border: 1px solid #798d89;
    color: #F1F8E0;
    background-color: #9AAC70;
}

#main {
    margin-left: 0px;
    margin-bottom: 15px;
    margin-top: 15px;
    border: 1px solid black;
    padding-top: 0px;
    background-color: #C8DA9E;
    box-shadow: 1px 2px 4px rgba(50, 50, 50, 0.8);
}

/* Wide version, for when the left nav isn't shown */
#main_wide {
    float: left;
    width: 100%;
    margin-left: 0px;
    margin-bottom: 15px;
    border-left: 1px solid black;
    border-right: 1px solid black;
    border-bottom: 1px solid black;
    padding-top: 105px;
    background-color: #C8DA9E;
    box-shadow: 1px 2px 4px rgba(50, 50, 50, 0.8);
}

div.content {
    padding: 5px 20px 45px 20px;
    background-color: #F5FFF9;
}

.title_info {
    padding: 10px 15px;
    border-bottom: 1px solid black;
    line-height: 1.3;
    font-size: 1em;
    background-color: rgba(200, 218, 158, 0.9);
}

table.details {
    margin: 15px 10px 5px 20px;
    line-height: 1.3;
    background-color: rgba(200, 218, 158, 0.9);
    border: 1px solid black;
    display: inline-block;
}
table.details td, table.details th {
    padding: 5px 5px 5px 5px;
    vertical-align: top;
}
table.details th {
    padding-right: 10px;
}

.homelinks {
    margin: 15px 0px 5px 20px;
    line-height: 1.3;
    background-color: rgba(200, 218, 158, 0.9);
    border: 1px solid black;
    display: inline-block;
    vertical-align: top;
}

.homelinks ul {
    margin-left: 10px;
    margin-bottom: 5px;
}

.homelinks li {
    list-style-type: none;
}

.proj_desc {
    font-style: italic;
    color: #555;
}


/**** Image formatting ****/
.img_right {
    float: right;
    margin: 3px 0px 3px 20px;
}

.img_left {
    float: left;
    margin: 3px 20px 3px 0px;
}

.img_centre {
    float: none;
    display: block;
    margin: 10px auto;
    text-align: center;
}

.border_img {
    border: 1px solid black;
    padding: 6px;
    background-color: white;
    box-shadow: 1px 2px 6px black;
}

.thin_border_img {
    border: 1px solid black;
    padding: 0px;
    box-shadow: 1px 2px 6px black;
}

.text_img {
    margin: 10px 10px 15px 10px;
}

/* Crumb trail
 *  We don't often use this, but occasionally it's useful in special cases
 */
.crumb {
    font-size: 0.8em;
    color: #222;
    margin: 10px 20px;
}

.whim_watermark {
    background: url('/media/img/whim_watermark.png') repeat-y center top;
}

/**** Publications ****/
.pub {
    margin-top: 13px;
    margin-bottom: 18px;
}
.pub .title {
/*
    font-style: italic;
*/
    margin-bottom: 5px;
    text-decoration: underline;
}
.pub .author {
}
.pub .author .me {
    border-bottom: 1px black dashed;
}
.pub .journal, .pub .author {
    padding-left: 10px;
    margin-top: 5px;
    font-size: 0.95em;
}
.pub .journal {
    font-style: italic;
}
.pub .download {
    float: right;
    margin: -3px 5px 3px 3px;
    border: 1px solid #6C9462;
    padding: 2px 4px;
    background-color: #C8DA9E;
    font-style: normal;
    max-width: 100px;
    text-align: center;
    box-shadow: 0px 1px 2px #BABABA;
}

.jp_img {
    float: left;
    border: 1px solid black;
    margin-right: 10px;
    margin-bottom: 5px;
    padding: 2px;
    background-color: #9AAC70;
}

p.note {
    font-size: .9em;
    font-style: italic;
    padding: 0 25px;
    margin-top: 5px;
}

/* Quote source attribution */
p.source {
    font-size: .9em;
    font-style: italic;
    padding: 2px 10px 3px;
    margin-top: 5px;
    margin-right: 10px;
    text-align: right;
    border-right: 2px solid #333;
}
p.source:before {
    content: "—";
    margin-right: 6px;
}

.more {
    margin-left: 8px;
    font-size: .9em;
    font-variant: small-caps;
}

/* Paper pages */
.abstract {
    font-style: italic;
    padding: 0px 30px;
}

/* AAAI paper */
.model_name {
    font-variant: small-caps;
}

#banner.aaai {
    background: url('/papers/what_happens_next/banner.png') no-repeat top left;
    background-size: 772px;
}

/* SCiL 2019 paper */

#banner.scil19 {
    background: url('/papers/unsup_symbol/scil19_banner.png') no-repeat top left;
}

.scil19_plots .plot {
    display: block;
    margin: 15px auto;
}

/* Recordings of Grandma Bristol */
.gb .audio_index {
	width: 450px;
	border-collapse: collapse;
	margin-left: 20px;
}
.gb .audio_index tr {
	border-bottom: 1px dashed #aaa;
}
.gb .audio_index td {
	padding: 2px 4px;
	vertical-align: top;
}

.gb .download {
	margin-left: 40px;
}

/* Tabular data display */
table.data {
    margin: 15px auto 20px auto;
}

table.data th, table.data td {
    padding: 4px 7px;
}

table.data th {
    background-color: #D5EAD5;
    border-bottom: 1px solid #444;
}

table.data td {
    background-color: #F0F3F0;
}