/* @override 
	http://localhost:8000/arnar/static/css/style.css
	http://www.hvergi.net/arnar/static/css/style.css
*/

body {
	background-color: #eee;
	background-image: url(bgstripes.png);
	margin: 0 30px 0 30px;
}

#wrapper {
	margin-left: auto;
	margin-right: auto;
	max-width: 900px;
	border-right: 8px solid #f6f6f6;
	border-left: 8px solid #f6f6f6;
}

#content {
	background-color: #FFF;
	border-right: 1px solid #ccc;
	border-left: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
	background-image: url(hbackground.png);
	background-repeat: repeat-x;
}

.indent {
	padding: 30px;
}

#menu {
	float: right;
}

#menu ul {
	margin-top: 5px;
	margin-right: 20px;
	list-style-image: none;
}

#menu ul li {
	display: inline;
	font-family: Verdana,sans-serif;
	font-size: 11px;
	font-weight: bold;
}

#menu a {
	font-family: Verdana,sans-serif;
	font-size: 11px;
	text-decoration: none;
	color: #5e7ba0;
	padding: 10px 10px 40px 10px;
}

#menu a:hover {
	background: #fff url(hbackground_striped.png) repeat-x 0 1px;
}

#logo {
	float: right;
	clear: both;
	margin: 25px 35px 0 0;
	border: 0;
}

#biglogo {
    padding: 0;
    width: 345px;
    height: 133px;
    background-image: url(logo.png);
    background-repeat: no-repeat;
    background-position: center;
}

#biglogo span {
    display: none;
}

#sublogo {
    display: none;
}

h1 {
	font-family: Georgia,serif;
	font-weight: normal;
	font-size: 35px;
	color: #5e7ba0;
	margin-top: 30px;
	margin-bottom: 30px;
}

h1.big {
	font-size: 60px;
	margin-bottom: 0px;
}

h2 {
	font-family: Georgia,serif;
	font-weight: normal;
	font-size: 30px;
	color: #f15c16;
}

h2.big {
	font-size: 40px;
}

h3 {
	margin-top: 30px;
}

h2 {
	margin-top: 1em;
	font-size: 1.2em;
	font-style: italic;
	color: #3f5d6b;
}

.subheading {
	margin-top: -23px;
	margin-left: 45px;
}

.newpar {
	margin-top: 30px;
}

table.docutils {
	border-collapse: collapse;
	border: 2px solid #aaa;
	margin: 0.5em 1.5em 0.5em 1.5em;
}

table.docutils td {
	padding: 2px;
	border: 1px solid #ddd;
}

table.footnote, table.citation {
	border: none;
	font-size: 13px;
}

table.footnote td, table.citation td {
	border: none;
}

p, li, dd, dt, blockquote, a {
	font-family: Georgia,serif;
}

p, li, dd, dt, blockquote {
	font-size: 15px;
	color: #333;
}

p {
	line-height: 150%;
	margin-bottom: 0;
	margin-top: 10px;
}

hr {
	border-top: 1px solid #ccc;
	border-bottom: 0;
	border-right: 0;
	border-left: 0;
	margin-bottom: 10px;
	margin-top: 20px;
}

dl {
	margin-left: 10px;
}

li {
	margin-top: 5px;
}

dt {
	margin-top: 15px;
	font-weight: bold;
}

th {
	text-align: left;
}

a[href] {
	color: #ca6739;
}

a[href]:hover {
	color: #ff6014;
}

#try {
	clear: both;
	background-color: #09839A;
	background-image: url(tbackground.png);
	font-weight: bold;
	padding: 15px 30px 15px 30px;
}

#try p {
	color: white;
}

#try h4 {
	margin-bottom: 15px;
	margin-top: 0px;
	font-size: 20px;
	color: white;
}

#try h4 a {
	color: white;
}

#try hr {
	border-top: 1px solid white;
	border-bottom: 0;
	border-right: 0;
	border-left: 0;
	margin-bottom: 15px;
}

input, select {
	font: 15px Georgia,serif;
	border: 1px solid #999;
	padding: 2px;
}

textarea {
	border: 1px solid #999;
	padding: 2px;
	width: 100%;
	min-height: 150px;
}

pre {
	background-color: #f0f0f0;
	border-top: 1px solid #ccc;
	border-bottom: 1px solid #ccc;
	padding: 5px;
	font-size: 13px;
	font-family: Consolas,Bitstream Vera Sans Mono,monospace;
}

div.syntax {
    margin-top: 15px;
    margin-bottom: 10px;
    border: 1px solid #ddd;
}

div.syntax pre {
    background-color: transparent;
    margin: 0;
    padding: 10px;
    border: none;
    overflow: auto;
}

table.syntaxtable div.syntax {
	background: transparent;
	margin:  0;
	padding: 0;
}

table.syntaxtable div.syntax pre {
	padding-top: 0;
	padding-bottom: 0;
}

table.syntaxtable {
	background-color: #f0f0f0;
    margin-top: 15px;
    margin-bottom: 10px;
    padding-top: 10px;
    padding-bottom: 10px;
}

table.syntaxtable td.linenos pre {
	padding: 0;
	border: none;
	margin: 0 0 0 0.5em;
	color: #bbb;
}

tt {
	font-size: 13px;
	font-family: Bitstream Vera Sans Mono,monospace;
	color: black;
	padding: 1px 2px 1px 2px;
	background-color: #f0f0f0;
}

cite {
	/* abusing <cite>, it's generated by ReST for `x` */
	font-size: 13px;
	font-family: Bitstream Vera Sans Mono,monospace;
	font-weight: bold;
	font-style: normal;
}

#foot {
	padding: 10px;
	text-align: left;
	background-color: #f0f0f0;
	color: #999;
	font: 11px/1.6 Verdana, sans-serif;
}

#foot a {
	color: #5e7ba0;
	font-family: Verdana, sans-serif;
}

#foot .poweredby {
	float: right;
}

#filter_form {
	float: right;
	background-color: #f6f6f6;
	border: 1px solid #ddd;
	padding: 10px;
	margin-bottom: 15px;
	clear: right;
}

#latest_box {
	float: right;
	background-color: #f6f6f6;
	border: 1px solid #ddd;
	padding: 10px;
	margin-bottom: 15px;
	margin-left: 15px;
	width: 250px;
}

#latest_box pre {
	background-color: transparent;
	margin: 10px 0 0 0;
	border: 0;
	overflow: hidden;
	font-size: 11px;
}

#backlink {
    float: right;
    font-size: 11px;
    color: #888;
}

.comment {
	clear: both;
	background-color: #F2F2F2;
	/*background-image: url(tbackground.png);
	font-weight: bold;
    color: white;*/
	padding: 10px 30px 15px 30px;
}

.comment p {
	color: #333;
}

p.commententry {
    margin-top: 0;
    border-left: 2px solid #CCC;
    padding-left: 10px;
}

.addcomment {
    display: none;
}

.comment hr {
	border-top: 2px solid #CCC;
	border-bottom: 0;
	border-right: 0;
	border-left: 0;
	margin-bottom: 15px;
}

#commentform {
    margin-top: 25px;
}

div.line-block {
	background: transparent;
}

.publication {
        clear: left;
        margin-bottom: 2em;
}
.publication .date {
        font-size: 0.8em;
        font-weight: normal;
        color: #999;
}
.publication .authors {
}
.publication .title {
        margin-left:  0.5em;
        font-style: italic;
        color: #5E7BA0;
}
.publication .venue {
        margin-left:  0.5em;
}
.publication ul {
        list-style: none;
        margin: 0;
        padding: 0;
}
.publication ul li {
        font-size: 0.8em;
        float:  left;
        margin-right: 0.5em;
}