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;
}