body {
}

div.header {
}

div.footer {
}

/* search-summary */

div.search-summary {
    /* border-color: #e92926; */
    /* background-color:#FFF0F0; */
    border-color: #C0C0C0;
    background-color: #FAFAFA;
    border-top-style:solid;
    border-top-width:1px;
    border-bottom-style:solid;
    border-bottom-width:1px;
    margin-bottom:1em;
    margin-top:1em;
    padding-bottom:5px;
    padding-top:5px;
    padding-left:5px;
}

.search-summary .keyword {
    font-weight: bold;    
}

.search-summary .ss-box {
    float: left;
    margin-right: 5px;
}

.search-summary .ss-end {
    clear: both;
}

/* result */

dt.result-record {
    font-size: 105%;
    margin-top: 5px;
}

dt.result-record-empty {
    margin-top: 5px;
}
dt.result-file {
    font-size: 95%;
}

#result-refinement {
    font-size:80%;
    font-weight:500;
}

div.pagination {
    /* border-color: #e92926; */
    /* background-color:#FFF0F0; */
    border-color: #C0C0C0;
    background-color: #FBFBFB;
    border-top-style:solid;
    border-top-width:1px;
    /* text-align: center; */
    margin-bottom: 20px;
}

pre {
    white-space: pre;
}

pre.lines {
    border: 1px solid #dedede;
    margin-bottom: 5px;
    padding-left: 5px;
    background-color: #fdfdfd;
    font-weight: inherit;
    margin-top: 5px;
    padding-top: 5px;
    padding-bottom: 5px;
}

.sort-change {
    font-weight: bold;    
    margin-right: 10px;
}

font.version {
    font-size: 35%;
}

a.headmenu {
    font-size: 40%;
    font-weight: normal;
}

input#query {
    height: 24px;
    font-size: 12px;
}

input#search {
    margin-left: 10px;
    width: 80px;
    height: 36px;
    font-size: 20px;
}

input#newtab {
    margin-left: 0px;
    width: 60px;
    height: 32px;
    font-size: 12px;
}

input#clear {
    margin-left: 0px;
    width: 60px;
    height: 32px;
    font-size: 12px;
}

ul.unstyled_margin {
    list-style: none;
    margin-left: 7px;
}

select#shead {
    margin-top: 7px;
    width: 120px;
}

label.ui-corner-all {
    line-height: 12px;
}

/* toppage */

#toppage {
    font-size: 14px;
}

#toppage ul a {
    font-size: 17px;
}

#toppage ul {
    font-size: 15px;
}

#toppage a {
    font-size: 17px;
}

#toppage h1 {
    font-size: 72px;
    margin-top: 50px;
}

#toppage .header {
}

#toppage .form {
    margin-top: 60px;
}

#toppage form {
    margin-bottom: 0px;
}

#toppage #select_package {
    margin-bottom: 50px;
}

#toppage .footer {
}

#toppage .text-center {
    text-align: center;
}

/* mainpage */

#mainpage {
    margin-left: 20px;
    margin-right: 20px;
    font-size: 14px;
}

#mainpage .header {
    margin-top: 20px;
}

#mainpage .search_form {
    margin-top: 15px;
}

/* mainpage - help */

#mainpage .help-content {
    margin-top: 20px;
}

#mainpage .help-content h1 {
    margin-top: 30px;
    margin-bottom: 15px;
}

#mainpage .help-content h2 {
    margin-top: 30px;
    margin-bottom: 15px;
}

#mainpage .help-content ul li {
    list-style: none;
    margin-top: 10px;
    margin-bottom: 10px;
}

#mainpage .help-content p {
    font-size: 108%;
    margin-left: 10px;
}

#mainpage .help-content img {
    margin-left: 10px;
}

#mainpage .help-content pre {
    margin-left: 10px;
}

#mainpage .help-content .comment {
    color: #008E1D;
}

/* mainpage - info_package */

#mainpage .info-package-content {
    margin-top: 25px;
}

#mainpage .info-package-content h1 {
    margin-bottom: 15px;
}

#mainpage .info-package-content h2 {
    margin-top: 20px;
    margin-bottom: 10px;
}

/* lineno-modal */

#lineno-copyall {
    font-size: 13px;
}

/* star */

.star {
     text-indent: -5000px;
     display: block;
     background: transparent url(<%= url_for "/images/milkode-star.png" %>) 20px;
     height: 20px;
     width: 20px;
}

.star.favorited {
     background-position: 0px;
}

/* */

.highlight-filename {
    background-color: #FFEE55;
}

.filter_list {
    margin-top: 3px;
}

.news-item {
    font-size: 18px;
    padding-top: 12px;
    padding-bottom: 12px;
    border-color: #f0f0f0;
    border-bottom-style:solid;
    border-bottom-width:1px;
}

.news-item .time {
    color: gray;
    font-size: 75%;
}

.topmenu-item {
    font-size: 18px;
    padding-top: 8px;
    padding-bottom: 8px;
}

.topmenu-item a {
    font-size: 18px;
}