@font-face {
  font-family: 'w95';
  src: url('w95fa.woff') format('woff');
}

body {
    cursor: url("images/cursor.gif") 4 4, default;

    margin: 0;
    padding: 40px;

    background: #ffe8f3;
    color: rgb(231, 127, 196);

    font-family: w95, sans-serif;
}

#editor {
    width: 800px;
    min-height: 600px;

    margin: auto;

    background: white;

    border: 2px solid rgb(250, 180, 219);

    padding: 20px;

    outline: none;

    line-height: 1.6;
    font-size: 16px;

    white-space: pre-wrap;
    word-wrap: break-word;

    box-shadow: 0 4px 20px rgba(0,0,0,0.08);
}