/* HTML */
body {
    background: #ffffff;
    margin: 0;
    padding: 0;
    font-family: helvetica, arial, sans-serif;
    font-size: 16px;
    line-height: 24px;
    color: #333333;
}

h3 {
    margin-top: 1.5em;
    margin-bottom: 7px;
}

h3 + p {
    margin-top: 0;
}

pre, code, kbd {
    font-family: monospace;
}

pre {
    font-size: 15px;
    line-height: 20px;
}

code {
    font-size: 15px;
}

img {
    border: 0;
}

blockquote {
    border-left: 3px double #cccccc;
    padding-left: 10px;
}

pre {
    margin-left: 5%;
}

code, pre.code {
    color: #000066;
}

pre.code, pre.terminal {
    background: #f8f8f8;
    color: #000080;

    border-width: 1px 0;
    border-color: #e8e8e8;
    border-style: double;

    width: 47em;
    overflow: auto;
    padding: 5px;
    word-wrap: normal; /* Required to prevent word wrap in IE and Chrome */
}

pre.terminal {
    background: #000000;
    color: #bbbbbb;
}

pre.terminal kbd {
    color: #00ff00;
}

pre.terminal em {
    color: yellow;
    font-style: normal;
}

pre.terminal em.a {
    color: orange;
}

a:link {color: #0000e0; text-decoration: none}
a:visited {color: #0000e0; text-decoration: none}
a:hover {color: #0000ff; text-decoration: underline}
a:active {color: #0000ff; text-decoration: none}


/* Classes */
table.data {
    border-collapse: collapse;
    text-align: center;
    margin-left: auto;
    margin-right: auto;
}

span.ipa {
    font-family: "Lucida Sans Unicode", "Arial Unicode MS";
    font-size: 11pt;
}

span.inactive {
    color: #606060;
}

p.math {
    margin: auto 5%;
}

.center {
    text-align: center;
}

.chat {
    width: 99%;
    height: 400px;
    border: 1px solid #c3d2e0;
}

.invisible {
    display: none;
}

.after-post-ad {
    margin-top: 1.5em;
    margin-bottom: 1em;
    text-align: center;
}

.after-comments-ad {
    margin-top: 1em;
    margin-bottom: 1em;
    text-align: center;
}

/* Header */
#topbar {
    height: 30px;
    background: #333333;
    border-bottom: 1px solid #111111;
    width: 100%;
}

#topbar form {
    margin: 0px;
}

#topbar input {
    margin: 0px;
    border: 0px none #333333;
}

#topbar img {
    display: block;
}

#topbar a:link {color: #aaaaaa;}
#topbar a:visited {color: #aaaaaa;}
#topbar a:hover {color: #ffffff;}
#topbar a:active {color: #ffffff;}

#header-wrapper {
    margin:0;
    padding: 0;
    background-color: #a52a2a;
    text-align: left;
}

#header {
    margin: 0 2%;
    background-color: #800000;
    color: #ffffff;
    padding: 0;
    font-size: 210%;
    position: relative;
    overflow: hidden;       /* Fix for Firefox, Chrome and IE7 */
    display: inline-block;  /* Fix for IE6 */
}

#header {
    display: block;         /* Fix for IE6 */
}

#header h1 {
    padding-top: 38px;
    margin: 0 1% .1em;
    line-height: 1.2em;
    font-size: 100%;
}

#header h1 a:link, #header h1 a:visited {
    color: #ffffff;
}

#header h1 a:hover, #header h1 a:active {
    color: #ffcc66;
    text-decoration: none;
}

#header .description {
    display: block;
    margin: 0 1%;
    padding: 0 0 20px;
    line-height: 1.4em;
    font-size: 50%;
}

#adbar {
    padding-bottom: 5px;
    float: right;
    height: 15px;
    font-size: 50%;
}


/* Main */
#main {
    margin: 0 2%;
    border: 1px solid #cccccc;
    border-top: 0;
    overflow: hidden;       /* Fix for Firefox, Chrome and IE7 */
    display: inline-block;  /* Fix for IE6 */
}

#main {
    display: block;         /* Fix for IE6 */
}

/* Content */
#content {
    margin: 20px 0 0 1%;
    float: left;
    width: 65%;
    display: inline;       /* fix for doubling margin in IE */
    word-wrap: break-word; /* long text breaking sidebar float in IE */
    overflow: hidden;      /* long non-text content breaking IE sidebar float */
}


/* Sidebar */
#sidebar {
    margin: 20px 1% 10px 0;
    float: right;
    width: 30%;
    overflow: hidden;
    display: inline;       /* fix for doubling margin in IE */
    word-wrap: break-word; /* long text breaking sidebar float in IE */
    overflow: hidden;      /* long non-text content breaking IE sidebar float */
}

#sidebar h2 {
    margin: 1.5em 0 .5em;
    padding: 4px 5px;
    background-color: #f0f0f0;
    font-size: 100%;
    color: #333333;
    border: 2px #cccccc groove;
}

#sidebar ul {
    margin: 0;
    padding: 0;
    list-style: none;
}

#sidebar li {
    line-height: 1.8em;
}

#sidebar .widget { 
    margin-bottom: 1em;
}

#sidebar .widget-content {
    margin: 0 5px;
    overflow: hidden;       /* Fix for Firefox, Chrome and IE7 */
    display: inline-block;  /* Fix for IE6 */
}

#sidebar .widget-content {
    display: block;         /* Fix for IE6 */
}


/* Footer */
#footer {
    margin: 0 2%;
    padding: 0;
}

#footer-left {
    margin: 5px 0;
    float: left;
}

#footer-right {
    margin: 5px 0;
    float: right;
}

/* Social media */
#twitter-follow {
    margin-left: 10px;
    position: relative;
    top: -22px;
    margin-bottom: -22px;
    background: white;

    /* The iframe is set to 300px by Twitter which goes beyond the
     * sidebar. This is fixed by setting a smaller width. */
    width: 80%
}

#fbpage-like {
    min-height: 30px;
}

.g-plus {
    border: 0;
}


/* Formatting elements */
.problem {
    margin: auto 5%;
    padding: 2px 8px;
    background-color: #eefaee;
    border-color: #aacaaa;
    border-style: solid;
    border-width: 1px 0;
    overflow: hidden;
}

.problem pre.code {
    width: 40em;
}

.warning {
    margin: auto 5%;
    padding: 2px 8px;
    background-color: #faebbc;
    border-color: #e1cc89;
    border-style: solid;
    border-width: 1px 0;
}

.alert {
    color: #f00000;
}

.info, .update {
    margin: auto 5%;
    padding: 2px 8px;
    background-color: #f5f5f5;
    border-color: #c8c8dc;
    border-style: solid;
    border-width: 1px 0;
}

.paralist li {
    margin: 1em 0;
}

ol.contentlist {
    background: #f8f8f8;
    color: #000080;

    border-width: 1px;
    border-color: #e8e8e8;
    border-style: double;

    padding-top: 1em;
    padding-bottom: 1em;

    margin: auto 5%;

}

.email {
    margin: 0 5% 2em 5%;
    border: 1px solid #808080;
}

.email .header {
    background: #e8e8e8;
    padding: 5px;
    border-bottom: 1px solid #808080;
}

.email .body {
    padding: 5px;
}