@charset "utf-8";

/*
 * mainstyle.css --- The main CSS for save.sys.t.u-tokyo.ac.jp
 *
 * CSS 3 for HTML 4.01 Strict
 */

/**************************************
 * Unrecommended tags
 **************************************/

acronym, applet, b, basefont, bgsound, big, blink, center, comment, dir, font, frame, frameset, i, ilayer, isindex, layer, listing, marquee, multicol, nextid, nobr, noembed, noframes, nolayer, plaintext, s, server, small, spacer, strike, tt, u, wbr, xmp
{
    color: rgb(255, 0, 0);
    background-color: rgb(255, 255, 0);
    font-size: 40px;
}

/**************************************
 * Fonts
 **************************************/

*
{
    font-size: 14px;
    color: rgb(17, 17, 17);
}

body, .textrm
{
    font-family: Georgia, "Times New Roman", Times, sans-serif;
}

h1, h2, h3, h4, h5, h6, th, div.menu, .textsf
{
    font-family: Verdana, Helvetica, Arial, sans-serif;
}

pre, code, .texttt
{
    font-family: "Courier New", Courier, monospace;
}

strong, .textbf
{
    font-size: inherit;
    color: inherit;
    font-weight: bold;
}

em, .textit
{
    font-size: inherit;
    color: inherit;
    font-style: italic;
}

.textsc
{
    font-size: inherit;
    color: inherit;
    font-variant: small-caps;
}

.overline
{
    text-decoration: overline;
}
.underline
{
    text-decoration: underline;
}
.strike
{
    text-decoration: line-through;
}

/**************************************
 * Alignment
 **************************************/

.left
{
    text-align: left;
}
.center
{
    text-align: center;
}
.right
{
    text-align: right;
}
.justify
{
    text-align: justify;
}

.top
{
    vertical-align: top;
}
.middle
{
    vertical-align: middle;
}
.bottom
{
    vertical-align: bottom;
}

.noindent
{
    text-indent: 0;
}

/**************************************
 * Text
 **************************************/

a
{
    font-size: inherit;
    color: inherit;
}

a[href]
{
    text-decoration: none;
    color: rgb(102, 0, 204);
}

a[href]:hover, a[href]:active
{
    text-decoration: underline;
    color: rgb(204, 0, 102);
}

a[href]:hover img, a[href]:active img
{
    opacity: 0.8;
}

/**************************************
 * Figure
 **************************************/

img.photo
{
    border-radius: 10px;

    -webkit-box-shadow: 2px 2px 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: 2px 2px 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: 2px 2px 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: 2px 2px 0 rgba(0, 0, 0, 0.1);
    box-shadow: 2px 2px 0 rgba(0, 0, 0, 0.1);
}

a img
{
    border-style: none;
}

div.imgcenter
{
    text-align: center;
    margin: 20px auto;
}

div.imgcenter p
{
    text-align: center;
    text-indent: 0;
    font-size: 12px;
}

div.imgcenter p.capleft
{
    text-align: left;
}

/**************************************
 * Table
 **************************************/

table
{
    margin: 5px 20px;
    border-collapse: collapse;
    empty-cells: hide;
}

table.tablecenter
{
    margin: 20px auto;
    width: auto;
}

table caption
{
    caption-side: top;
    font-size: 12px;
}

table tr th
{
    margin: 0;
    padding: 5px;
    text-align: center;
    font-weight: bold;
    color: rgb(68, 34, 17);
    text-shadow: -1px -1px 0 rgba(0, 0, 0, 0.1), 1px 1px 0 rgba(255, 255, 255, 0.1);
    border: 1px solid rgb(204, 204, 204);
    background-color: rgb(204, 204, 204);

    background: -webkit-linear-gradient(left top, rgba(204, 204, 204, 0.5), rgba(204, 204, 204, 1));
    background: -moz-linear-gradient(left top, rgba(204, 204, 204, 0.5), rgba(204, 204, 204, 1));
    background: -o-linear-gradient(left top, rgba(204, 204, 204, 0.5), rgba(204, 204, 204, 1));
    background: -ms-linear-gradient(left top, rgba(204, 204, 204, 0.5), rgba(204, 204, 204, 1));
    background: linear-gradient(to right bottom, rgba(204, 204, 204, 0.5), rgba(204, 204, 204, 1));
}

table tr td
{
    margin: 0;
    padding: 5px;
    border: 1px solid rgb(238, 238, 238);
}

table.noborder tr th,
table.noborder tr td,
table tr.noborder th,
table tr.noborder td,
table tr th.noborder,
table tr td.noborder
{
    border-width: 0;
}

/**************************************
 * List
 **************************************/

ul, ol
{
    margin: 5px 20px 5px 40px;
    padding: 0;
}

ul li, ol li
{
    margin: 1ex 0;
    padding: 0;
}

ul li
{
    list-style: circle outside;
}

ol li
{
    list-style: decimal outside;
}

/* References list */
ol li.ref
{
    list-style: lower-roman outside;
}

dl
{
    margin: 5px 20px;
}

dl dt
{
    margin-left: 0;
}

dl dd
{
    margin-bottom: 10px;
    margin-left: 20px;
}

/**************************************
 * Paragraph
 **************************************/

h2, h3, h4, h5, h6
{
    margin: 10px 0;
    padding: 10px 20px;
    font-weight: bold;
    color: rgb(68, 34, 17);
    text-shadow: 1px 1px 0 rgba(0, 0, 0, 0.1);
}

h2
{
    font-size: 22px;
    background-color: rgb(204, 204, 204);

    background: -webkit-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: -moz-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: -o-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: -ms-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: linear-gradient(to bottom, rgb(204, 204, 204), rgb(255, 255, 255));
}

div.main h2:first-child
{
    margin-top: 0;
}

h3
{
    margin-top: 5px;
    margin-bottom: 5px;
    font-size: 18px;
}

h4, h5, h6
{
    margin-top: 0;
    margin-bottom: 0;
    font-size: 14px;
}

p
{
    margin: 5px 20px;
    padding: 0;
    text-indent: 1em;
    text-align: justify;
}

ul li p, ol li p,
dl dt p, dl dd p,
table tr th p, table tr td p
{
    margin: 0;
    text-indent: 0;
}

pre
{
    margin: 5px 20px 5px 60px;
}

hr
{
    border-width: 1px 0 0 0;
    border-style: solid;
    border-color: rgb(153, 153, 153);

    -webkit-box-shadow: 0 1px 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: 0 1px 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: 0 1px 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: 0 1px 0 rgba(0, 0, 0, 0.1);
    box-shadow: 0 1px 0 rgba(0, 0, 0, 0.1);
}

/**************************************
 * Page
 **************************************/

body
{
    margin: 0 auto;
    padding: 0;
    width: 900px;
    background-color: rgb(238, 238, 238);
}

/**************************************
 * Header
 **************************************/

div.header
{
    margin: 0;
    padding: 5px 0;
    background-color: rgb(204, 204, 204);
    border-top: 5px solid rgb(51, 0, 102);

    -webkit-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);

    background: -webkit-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: -moz-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: -o-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: -ms-linear-gradient(top, rgb(204, 204, 204), rgb(255, 255, 255));
    background: linear-gradient(to bottom, rgb(204, 204, 204), rgb(255, 255, 255));
}

div.header p
{
    text-align: right;
    font-style: italic;
}

/**************************************
 * Top
 **************************************/

div.top
{
    margin: 0;
    padding: 10px 0;
    background-color: rgb(255, 255, 255);

    -webkit-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
}

h1
{
    margin: 10px 20px;
    padding: 0 0 0 100px;
    height: 100px;
    font-size: 32px;
    font-weight: bold;
    text-shadow: 2px 2px 0 rgba(0, 0, 0, 0.1);
    /* line-height: 80px; */
    line-height: 40px;
    background-image: url("../img/save_logo_80x80.png");
    background-repeat: no-repeat;
}

p.abstract
{
    margin: 5px 20px;
    padding: 0;
    text-indent: 0em;
    color: rgb(68, 34, 17);
}

/**************************************
 * Menu
 **************************************/

div.menu
{
    margin: 0;
    padding: 10px 0 0 0;
    background-color: rgb(255, 255, 255);

    -webkit-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
}

div.menu ul
{
    margin: 0;
    padding: 0 10px;
    display: table;
    background-color: rgb(255, 255, 255);
}

div.menu ul li
{
    margin: 0;
    padding: 0;
    width: 110px;
    display: table-cell;
    position: relative;
    vertical-align: bottom;
    list-style: none;
}

div.menu ul li a
{
    margin: 0;
    padding: 10px 0;
    display: block;
    text-align: center;
    font-size: 12px;
    font-weight: normal;
    text-decoration: none;
    color: rgb(255, 255, 255);
    text-shadow: -1px -1px 0 rgba(0, 0, 0, 0.1), 1px 1px 0 rgba(255, 255, 255, 0.1);
    background-color: rgb(51, 0, 102);
    border-top: 1px solid rgb(51, 0, 102);
    border-right: 1px solid rgb(51, 0, 102);
    border-left: 1px solid rgb(51, 0, 102);
    border-radius: 10px 10px 0 0;

    background: -webkit-linear-gradient(left top, rgba(51, 0, 102, 0.7), rgba(51, 0, 102, 1));
    background: -moz-linear-gradient(left top, rgba(51, 0, 102, 0.7), rgba(51, 0, 102, 1));
    background: -o-linear-gradient(left top, rgba(51, 0, 102, 0.7), rgba(51, 0, 102, 1));
    background: -ms-linear-gradient(left top, rgba(51, 0, 102, 0.7), rgba(51, 0, 102, 1));
    background: linear-gradient(to right bottom, rgba(51, 0, 102, 0.7), rgba(51, 0, 102, 1));
}

div.menu ul li a[href]:hover,
div.menu ul li a[href]:active
{
    text-decoration: none;
    color: rgb(255, 255, 255);

    background: -webkit-linear-gradient(left top, rgba(51, 0, 102, 0.5), rgba(51, 0, 102, 1));
    background: -moz-linear-gradient(left top, rgba(51, 0, 102, 0.5), rgba(51, 0, 102, 1));
    background: -o-linear-gradient(left top, rgba(51, 0, 102, 0.5), rgba(51, 0, 102, 1));
    background: -ms-linear-gradient(left top, rgba(51, 0, 102, 0.5), rgba(51, 0, 102, 1));
    background: linear-gradient(to right bottom, rgba(51, 0, 102, 0.5), rgba(51, 0, 102, 1));
}

div.menu ul li a.selected
{
    background-color: rgb(102, 102, 102);
    border-top: 1px solid rgb(102, 102, 102);
    border-right: 1px solid rgb(102, 102, 102);
    border-left: 1px solid rgb(102, 102, 102);

    background: -webkit-linear-gradient(left top, rgba(102, 102, 102, 0.5), rgba(102, 102, 102, 1));
    background: -moz-linear-gradient(left top, rgba(102, 102, 102, 0.5), rgba(102, 102, 102, 1));
    background: -o-linear-gradient(left top, rgba(102, 102, 102, 0.5), rgba(102, 102, 102, 1));
    background: -ms-linear-gradient(left top, rgba(102, 102, 102, 0.5), rgba(102, 102, 102, 1));
    background: linear-gradient(to right bottom, rgba(102, 102, 102, 0.5), rgba(102, 102, 102, 1));
}

div.menu ul li ul
{
    padding: 0;
    position: absolute;
    visibility: hidden;
    opacity: 0;

    -webkit-box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.1);
    box-shadow: 1px 1px 0 rgba(0, 0, 0, 0.1);

    -webkit-transition: opacity 0.2s ease-in;
    -moz-transition: opacity 0.2s ease-in;
    -o-transition: opacity 0.2s ease-in;
    -ms-transition: opacity 0.2s ease-in;
    transition: opacity 0.2s ease-in;
}

div.menu ul li:hover ul
{
    visibility: visible;
    opacity: 1;
}

div.menu ul li ul li
{
    margin-top: -5px;
    display: list-item;

    -webkit-transition: margin 0.2s ease-in;
    -moz-transition: margin 0.2s ease-in;
    -o-transition: margin 0.2s ease-in;
    -ms-transition: margin 0.2s ease-in;
    transition: margin 0.2s ease-in;
}

div.menu ul li:hover ul li
{
    margin-top: 0;
}

div.menu ul li ul li a
{
    border-radius: 0;
}

/**************************************
 * Main
 **************************************/

div.main
{
    margin: 0;
    padding: 0 0 10px 0;
    background-color: rgb(255, 255, 255);

    -webkit-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
    box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1);
}

/**************************************
 * Footer
 **************************************/

div.footer
{
    margin: 0;
    padding: 10px 0 50px 0;
    background-color: rgb(255, 255, 255);

    -webkit-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1), 0 1px 0 rgba(0, 0, 0, 0.1);
    -moz-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1), 0 1px 0 rgba(0, 0, 0, 0.1);
    -o-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1), 0 1px 0 rgba(0, 0, 0, 0.1);
    -ms-box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1), 0 1px 0 rgba(0, 0, 0, 0.1);
    box-shadow: -1px 0 0 rgba(0, 0, 0, 0.1), 1px 0 0 rgba(0, 0, 0, 0.1), 0 1px 0 rgba(0, 0, 0, 0.1);
}

/**************************************
 * Misc
 **************************************/

div.scrollbox
{
    margin: 0;
    padding: 0;
    height: 40ex;
    overflow-y: scroll;
}