@import url(/theme/eigenclass/ruby.css);
@import url(/theme/eigenclass/related.css);


/* main layout an font */
body {
    margin: 0;
    font: normal 12px "lucida grande", verdana, arial, helvetica, sans-serif;
    width: 900px;
    padding: 1em 10% 1em 10%;
}

/*
html * {
	-moz-box-sizing: border-box ;
	box-sizing: border-box ;
}
*/

.main {
    width: 650px;
    float: left;
    padding-left: 10px;
}

.sidebar {
    width: 200px;
    float: right;
    text-align:left;
    padding-left: 15px;
}

.footer {
    text-align: center;
    font-size: 80%;
}

.referer {
    margin: 1em 0 1em 0;
}

/* one per entry in aggregate nodes */
.day {
    margin: 0 0 3em 0;
}

/*+++++++++++ format +++++++++++++*/

a:link {
    color: #00009f;
}

a:visited {
    color: #00003f;
}

a:hover, a:active {
    color: #fff;
    background: #000;
}

span.title a:link,
span.title a:visited {
    text-decoration: none;
}

span.title a:hover,
span.title a:active {
    color: #00009f;
    background: #fff;
    text-decoration: underline;
}


/* date in aggregate nodes  */
span.date {
    background-color: #35a;
    color : #ccc;
    float : left;
    margin : 0em 1em 0.5em 0.5em;
    padding : 4px;
    font-size : 70%;
    font-weight : bold;
}

/* code etc. */
pre {
    /* border-right: dashed 2px #cccccc; */
    margin: 1em;
    padding: 0.7em;
    display: block;
    /* overflow: hidden; */
    overflow: auto;
    background-color: #e0e0ff;
}

/* show full code on hover */
/*pre:hover {
    overflow: visible;
    border-right: none;
    width: 1250px;
}*/

img.centered {
    display: block;
    margin-left: auto;
    margin-right: auto;
    margin-top: 1em;
    margin-bottom: 1em;
}


/* last modified, keywords, etc */
div.day div.comment div.caption {
    background-color: #ddd;
    padding: 0.5em;
}

blockquote {
    color: #555;
    border-left: 5px solid #ccc;
    margin: 1.3em 1em; padding: 0 1em;
}


/* node lists on the sidebar */
.sidebar p {
    margin: 0.5ex 10px;
}

.sidebar ul, .sidebar ol {
    padding: 0;
    list-style:none;
}

.sidebar ul li,
.sidebar ol li,
.sidebar ol ul,
.sidebar ol ol,
.sidebar ul ul,
.sidebar li li {
    margin: .3em 0 0 0;
}

/* comment form */
.main form {
    width: 90%;
    padding: 1em;
    background-color: #eeeef9;
}

.main form input {
    margin: 4px;
}

/* TODO:
 * + fix z-index of pre, etc.
 * + extensible pre */