@import url(http://fonts.googleapis.com/css?family=PT+Serif|PT+Serif:b|PT+Serif:i|PT+Sans|PT+Sans:b);
@import url(http://fonts.googleapis.com/css?family=Francois+One);

.rounded-corners (@radius: 5px) {
  -webkit-border-radius: @radius;
  -moz-border-radius: @radius;
  -ms-border-radius: @radius;
  -o-border-radius: @radius;
  border-radius: @radius;
}

html {
    min-width: 780px;
}

body {
    background: #fcfcfa;
    color: #333;

    font-family: "PT Serif", sans-serif;
    font-weight: 400;
    font-style: normal;

    margin: 1em auto 4em auto;
    position: relative;
    width: 720px;
}

ul {
    list-style: circle;
}
li {
    font-size: 15px;
    margin-bottom: 4px;
}

h1 h2 h3 h4 {
    font-family: 'Francois One', sans-serif;
    letter-spacing: 2px;
}
h1 {
    font-size: 42px;
}
h2 {
    margin-top: 2em;
}

p {
    line-height: 1.5em;
}
a {
    color: cornflowerblue;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}

/*--- Code blocks --*/
figure {
    margin: 0
}

.highlight p {
    margin: 0;
    line-height: 1.5;
}

code {
    font-family: 'Menlo', 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
    font-size: 14px;
    line-height: 1.3em;
}

img {
    max-width: 720px;
}

pre {
    margin: 5px 0 15px 0;
    font-size: 13px;
    overflow: auto;
    word-wrap: normal;
    white-space: pre;

    background-color: #efefef;
    border: 1px solid #ccc;
    padding: 8px 5px 12px 10px;
    .rounded-corners(8px);
}

.input_prompt {
    font-weight: bold;
    font-size: 11px;
    margin-bottom: 2px;
}

.highlight {
    margin-bottom: 18px;
    font-size: 13px;
}

/*--- Comments --*/
#comments {
    margin-top:5em;
}

table {
    border-width: 1px;
    border-color: #cccccc;
    border-collapse: collapse;
}

tr,td,th {
    border-style: solid;
    border-color: #cccccc;
}
td,th {
    padding: 1px 5px 1px 5px;
}
th {
    text-align: left;
}