pre {
  background-color: #F5F5F5;
  border: 1px dashed blue;
  padding: 0.2em;
}

code {
  background-color: #F5F5F5;
}

h2 {
  margin-bottom: 0em;
  font-size: 120%
}

p,ul,ol {
  margin: 0.5em 0;
}

.gallery table.img {
  display: inline;
  /*float: left;   needs tuning */
}

.title {
  font-size: 150%;
  font-weight: bold;
  line-height: 120%;
}

.header {
  font-size: 100%;
  font-weight: normal;
}

.page {
  width: 50em;
}

.sidebar {
	position: absolute;
	left: 51em;
}

.inlinepage {
	border: none;
}

.inlinepage h1 {
    font-size: 150%;
    margin: 0;
}

.pagedate, .pagelicense, .pagecopyright, .tags, #backlinks {
	display: block;
	font-style: italic;
	margin-top: 0em;
}

.pagecloud {
    padding: 0px;
    border: none !important;
    float: none;
    width: auto;
    background: none !important;
}

.pageheader .actions ul {
    border-bottom: none;
}

.pageheader {
    padding-bottom: .5em;
    border-bottom: 1px solid #000000;
}

#pagebody {
    margin-top: .5em;
}

#pageinfo {
    border-top: 1px solid #000000;
    padding: .5em 0;
    margin: .5em 0;
}

.month-calendar-day-this-day, .year-calendar-this-month {
	background-color: #ffffff !important;
}

.footnote {
    vertical-align: super;
    font-size: smaller;
}

.balloon li {
     margin-left: -1.5em;
}

/* Highlight plugin: use solarized-dark theme */
/*pre.hl  { color:#93a1a1; background-color:#fdf6e3; border:none; }*/
pre.hl  { color:#93a1a1; background-color:#002b36; border:none; }
li.hl   { margin-bottom:-10pt; }
.hl.num { color:#2aa198; font-weight:normal; }
.hl.esc { color:#dc322f; font-weight:normal; }
.hl.str { color:#dc322f; font-weight:normal; }
.hl.pps { color:#cb4b16; font-weight:normal; }
.hl.slc { color:#657b83; font-weight:normal; }
.hl.com { color:#657b83; font-weight:normal; }
.hl.ppc { color:#cb4b16; font-weight:normal; }
.hl.opt { color:#6c71c4; font-weight:normal; }
.hl.lin { color:#586e75; font-weight:normal; }
.hl.kwa { color:#b58900; font-weight:normal; }
.hl.kwb { color:#859900; font-weight:normal; }
.hl.kwc { color:#268bd2; font-weight:normal; }
.hl.kwd { color:#d33682; font-weight:normal; }