/* ikiwiki local style sheet */

/* Add local styling here, instead of modifying style.css. */

div.float-left{
    float: left;
    clear: left;
    margin: 4ex;
};

div.floatright{
    float: right;
    margin: 4ex;
};

.gray-border{
    border: 1px solid grey;
}

pre.hl {
    font: monospace;
}