codenothing/CSSCompressor

/* Normalize the box-model */
* { -moz-box-sizing: border-box; -webkit-box-sizing: border-box; box-sizing: border-box; }

html, body {
    font: 14px Helvetica;
    color: #333;
    background: #f6f6f6;
    padding: 0;
    margin: 0;
    height: 100%;
    text-shadow: 0 1px 0 #eee;
}

#body {
    width: 650px;
    margin: 0 auto;
}


/* Content */

ul.content {
    list-style: none;
    margin: 0;
    padding: 0;
}

ul.content li {
    margin: 0;
    padding: 20px 0;
    border-top: 1px solid #ddd;
    clear: both;
}

ul.content li h4 {
    font-size: 20px;
    margin: 0;
    padding: 0 0 5px;
}

ul.content li .author {
    display: none;
    font-size: 12px;
    font-style: italic;
}

ul.content li .author a {
    color: #14B5DD;
    text-decoration: none;
}

ul.content li .source {
    font-size: 12px;
    font-style: italic;
}

ul.content li .source a {
    color: #14B5DD;
    text-decoration: none;
}

ul.content li .description {
    margin: 20px 0;
}

ul.content li .example {
    width: 100%;
    clear: both;
}

ul.content li .example > div {
    margin: 0;
    width: 49.5%;
    float: left;
    margin-bottom: 160px;
}

ul.content li .example > div.after {
    margin-left: 1%;
}

ul.content li .example > div > span {
    font-weight: bold;
    font-size: 12px;
}

ul.content li .example > div > pre {
    width: 100%;
    margin: 0;
    padding: 5px;
    max-height: 300px;
}


/* Menu */
ul.menu {
    position: fixed;
    top: 5%;
    left: 50%;
    margin: 0 0 0 335px;
    padding: 0px;
    width: 200px;
    border: 1px solid #aaa;
    max-height: 90%;
    overflow: auto;
    box-shadow: 0 0 3px black;
}

ul.menu li {
    padding: 0;
    margin: 0;
    text-align: center;
}

ul.menu li a {
    display: block;
    background: #f1f1f1;
    border-top: 1px solid white;
    border-bottom: 1px solid #bbb;
    width: 100%;
    height: 100%;
    padding: 7px 5px;
    text-align: center;
    color: #444;
    text-decoration: none;
    text-shadow: none;
}

ul.menu li a:hover {
    background: #e5e5e5;
}