body {
/*
    font-family: 'Verdana', 'Arial', 'Helvetica', 'Gulim', sans-serif;
*/
    font-family: 'Georgia', 'Times New Roman', 'Batang', 바탕, serif;
    background-color: #fffccc;
    color: #420;
    font-size: 0.8em;
}

table, pre, input, textarea {
    font-size: 1em;
}

pre, tt, textarea {
    font-family: 'Lucida Console', 'Lucida Typewriter', 'DotumChe', 돋움체, monospace;
}

hr {
    height: 0px;
    border-style: none;
    border-bottom: 1px solid #639;
}

a img {
    border-style: none;
}

a:link, a:visited {
    color: #639;
}
/*
a:link {
    text-decoration: none;
}
a:visited, a:link:hover, a:visited:hover, a:active {
    text-decoration: underline;
}
*/
a:link:hover, a:visited:hover {
    color: #000;
}

address {
    font-size: 0.9em;
}

hr {
    height: 0px;
    border-style: none;
    border-bottom: 1px solid #639;
}

h2, h3 {
    border-bottom: 1px solid #639;
}
h1 {
    font-size: 2.5em;
}
h2 {
    font-size: 1.8em;
}
h3 {
    font-size: 1.3em;
}
h4, h5, h6 {
    font-size: 1em;
}
h1,h2,h3,h4,h5,h6 {
    margin: 0em;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

#body li {
    margin-bottom: 0.7em;
}

#title {
    text-align: center;
}
#subtitle {
    color: #999;
    font-size: 0.6em;
}

.emphasized {
    color: #f42;
}

#foot {
    font-size: 0.8em;
}



#nav h3 {
    font-size: 1.1em;
    margin: 0em;
    margin-top: 1em;
}
#nav ul {
    font-size: 0.9em;
    list-style: none;
    display: block;
    padding: 0em;
    margin: 0.5em;
    margin-left: 0.7em;
}
#nav li {
    list-style: none;
    display: block;
    margin-bottom: 0.05em;
    margin-top: 0.05em;
}


@media screen {
    body {
        background-color: #639;
        color: #fffccc;
        margin: 0em;
        margin-bottom: 1em;
        padding: 0em;
    }
    #main {
        background-color: #fffccc;
        color: #420;
        margin: 0em;
        padding: 0em;
    }
    #head, #body { padding: 1em; margin: 0em; }
    #head {
        padding-bottom: 0em;
    }
    #body {
        padding-top: 0em;
    }
    #foot {
        background-color: #639;
        color: #fffccc;
        padding-top: 0.5em;
        padding-bottom: 0.5em;
    }
    #nav {
        color: #fffccc;
        background-color: #639;
    }

    #main a:link, #main a:visited {
        color: #639;
        text-decoration: underline;
    }
    #main a:hover {
        color: #000;
    }
    body a:link, body a:visited,
    #nav a:link, #nav a:visited,
    #foot a:link, #foot a:visited {
        color: #fe3;
        text-decoration: none;
    }
    body a:link:hover, body a:visited:hover,
    #foot a:link:hover, #foot a:visited:hover,
    #nav a:link:hover, #nav a:visited:hover {
        color: #fff;
    }

    #nav h2, #nav h3, #nav h4 {
        color: #ec0;
    }
    #nav h2, #nav h3 {
        border-color: #fffccc;
    }

    /* layout for navigation bar */
    html, body {
        height: 100%;
    }
    body {
        padding-left: 2em;
        padding-right: 16em;
    }
    #main {
        min-height: 93%;
    }
    #nav {
        position: fixed;
        top: 0em;
        right: 0em;
        bottom: 0em;
        padding: 2em;
        width: 12em;
        overflow: auto;
    }


    /* hack for bugful IE */
    #main table {
        color: #420;
    }
    #main {
        height: 93%;
        width: 50em;
    }
    #nav {
        position: absolute;
        left: 52em;
        width: 16em;
    }
    /* and restorations for standard browsers */
    html>body #main table {
        color: inherit;
    }
    html>body {
        padding-right: 16em;
    }
    html>body #main {
        width: auto;
        height: auto;
    }
    html>body #nav {
        position: fixed;
        left: auto;
        padding: 2em;
        width: 12em;
    }
}

@media print {
    #nav {
        display: block;
    }
}


table.chronological tr {
    vertical-align: top;
}
table.chronological th {
    font-weight: normal;
    text-align: right;
    width: 7em;
}
table.chronological th,
table.chronological td {
    padding: 0.3em;
    padding-bottom: 0.5em;
    vertical-align: middle;
}


table.members {
    width: 100%;
}

.tech-memo .number {
    color: #639;
    font-weight: bold;
    text-decoration: none !important;
}
li.paper {
    padding-top: 0.3em;
    padding-bottom: 0.3em;
}

.supplement {
    color: #999;
    font-size: 0.8em;
}
span.supplement {
    margin-left: 0.5em;
    margin-right: 0.5em;
}

ul.books li {
    list-style-image: url(/lib/book-available.gif);
}
ul.books li.checked-out {
    list-style-image: url(/lib/book-checkedout.gif);
}

form .required {
    color: #c36;
    font-weight: bold;
}
form .optional {
    font-weight: normal;
}