/* This is the StyleCatcher theme addition. Do not remove this block. */
@import url(http://d.nym.jp/mt-static/themes-base/blog.css);
@import url(http://d.nym.jp/mt-static/themes/tristan-blue-4.2/screen.css);
/* end StyleCatcher imports */

@import url(http://f.nym.jp/syntaxhighlighter/styles/sh.css);
body {
    font-size: 100%
}

/*
 * Sidebar
 */
#beta, #gamma, .widget-content {
    font-size: 90%;
}

#search {
    width: 100%
}

/*
 * TopInfo
 */
#topinfo {
        font-size: 90%;
        padding:10px;
        border: 4px dotted #f97;
        /* line-height:100% */
        margin-bottom: 10px;
        line-height: normal;
}

#topinfo ul {
        margin: 0px;
        padding-left: 3px;
}

/*
 * Footnote
 */
hr.footnote, div.footnote hr  {
        clear: both;
        width:30%;
        /* margin-left: 0; */
	margin:0.3em auto 0.3em 0pt;
}

sup.footnote {
        font-size: 60%;
        vertical-align: top;
}

a.footnote {
        text-decoration: none;
}

div.footnote {
        font-size: 80%;
        line-height: 100%;
        margin-bottom: 10px;
}

/*
 * Hatena Diary Keyword
 */
a.hatena {
        color: #333333;
        text-decoration: none;
        border-bottom: 1px dashed gray;
}

/*
 * Cite
 */
div.cite {
  margin: 3px;
  padding: 5px;
  background-color: #eee;
  border: inset 3px #ddd;
}

div.cite div.via {
  font-size: 80%;
}

div.cite blockquote {
  margin: 5px 20px;
  font-size: 90%;
}

/*
 * Figure
 */
div.figure {
  margin: 20px;
  text-align: center;
  font-size: small;
}

div.figure img {
  margin: 0 0 3px 0;
}

div.figure a img {
  border-width: 2px;
  padding: 2px;
}

div.left  { float:left;  }
div.right { float:right; }

.clear {
  clear: both;
}

/*
 * Document
 */

div.document h1,
div.document h2,
div.document h3,
div.document h4,
div.document h5 {
  background-color: transparent;
  padding: 2px;
  border: none;
  border-bottom: 1px gray solid;
}

pre.code, pre.terminal {
  padding: 10px;
  color: #ddd;
  background-color: #223;
}

/*
 * TOC
 */
div.to_toc {
        text-align: right;
        font-size: 60%;
}

/*
 * misc
 */
div.boso {
        margin: 10px;
        padding :5px;
        color: #888;
        border-left: 5px double #aaa;
}

div.related {
  margin: 10px 0;
}

div.related ul {
  margin : 0;
  padding: 0 0 0 40px;
}

div.sourcecode {
  font-size: 80%;
}