@font-face {
    font-family: 'Circe';
    src: local('font/Circe Regular'), local('font/Circe-Regular'),
        url('font/Circe-Regular.woff2') format('woff2'),
        url('font/Circe-Regular.woff') format('woff'),
        url('font/Circe-Regular.ttf') format('truetype');
    font-weight: 400;
    font-style: normal;
}

div.info-title { font-family: 'Circe'; }
.poly {
    padding:6px;
}


body {
font-family: 'Circe';
    font-family: 'Circe';
    src: local('font/Circe Regular'), local('font/Circe-Regular'),
        url('font/Circe-Regular.woff2') format('woff2'),
        url('font/Circe-Regular.woff') format('woff'),
        url('font/Circe-Regular.ttf') format('truetype');
font-size:1em;
}