/* EdgeCAV Workshop 2025 - Style based on ACM/IEEE SEC 2025 */

body {
    margin: 0;
    padding: 0;
    font-family: Arial, sans-serif;
    font-size: 14px;
    line-height: 1.2;
    color: #000;
    background: #f5f5f5;
}

a {
    color: #0066ff;
    text-decoration: underline;
}

a:hover {
    color: #ff0000;
    border-bottom: 1px solid #7b8200;
}

/* Override global link styles for menu */
#menu a {
    color: #ffffff !important;
    text-decoration: none !important;
    border-bottom: none !important;
}

#menu a:hover {
    color: #ffffff !important;
    background-color: #ff9933 !important;
    border-bottom: none !important;
}

dl, ol, ul {
    margin: 0 0 1em;
    padding: 0;
}

li {
    margin: 0 0 0 40px;
    padding: 0;
}

em {
    font-style: normal;
    background: #ffff00;
}

/* Main container */
#top {
    width: 810px;
    margin: 15px auto;
    padding: 8px;
    background: #ffffff;
    box-shadow: 0 0 10px rgba(0,0,0,0.1);
}

/* Header */
#header {
    width: 810px;
    position: relative;
}

#header h1 a {
    color: #ffffff;
}

#header h1 a:hover {
    color: #dddddd;
    border-bottom: none;
}

#header table {
    width: 100%;
    border-collapse: collapse;
}

#header table th {
    padding: 15px 0;
    text-align: left;
    vertical-align: top;
}

#header p {
    margin: 3px 0;
    padding: 0;
    font-family: sans-serif;
}

/* Images */
#icatch {
    margin: 0;
    width: 810px;
    overflow: hidden;
    display: block;
    clear: both;
}

#icatch img {
    margin: 0;
    float: left;
    vertical-align: top;
}

/* Menu */
#menu {
    width: 810px;
    background-color: #0066ff !important;
    margin: 0;
    padding: 0;
    height: 30px;
}

#menu:hover {
    background-color: #0000ff;
}

#menu ul {
    list-style: none;
    margin: 0;
    padding: 0;
    display: block;
    height: 30px;
}

#menu ul li {
    float: left;
    margin: 0;
    padding: 0;
    position: relative;
    height: 30px;
    line-height: 30px;
}

#menu li a {
    display: block;
    padding: 0 15px;
    color: #ffffff !important;
    font-size: 14px;
    font-family: sans-serif;
    text-decoration: none;
    font-weight: bold;
    height: 30px;
    line-height: 30px;
}

#menu li a:hover {
    color: #ffffff !important;
    background-color: #ff9933;
    text-decoration: none;
}

#menu li .current {
    background-color: #0000cc;
    color: #ffffff;
}

/* Contents */
#contents {
    width: 810px;
    clear: both;
    float: left;
    vertical-align: top;
    overflow: hidden;
}

/* Main content */
#main {
    float: left;
    width: 500px;
    padding: 5px 10px 5px 0;
}

#main h2 {
    margin-bottom: 4px;
    padding: 4px 0;
    font-weight: bold;
    font-size: 16px;
    border-bottom: 2px solid #dddddd;
    color: #333;
}

#main h3 {
    margin-bottom: 3px;
    margin-top: 8px;
    padding: 3px 0 3px 10px;
    font-weight: bold;
    font-size: 15px;
    line-height: 1.1;
    border-left: 5px solid #333333;
    color: #333;
}

#main h4 {
    margin-bottom: 4px;
    font-weight: bold;
    font-size: 14px;
    border-bottom: 2px solid #666666;
}

#main h5 {
    margin-bottom: 4px;
    padding: 2px 5px;
    font-weight: bold;
    font-size: 13px;
    background: #ececec;
}

#main h6 {
    font-weight: bold;
    font-size: 13px;
}

#main p {
    margin-bottom: 0.4em;
    line-height: 1.3;
    text-align: justify;
}

#main ul {
    margin-bottom: 0.4em;
}

#main li {
    margin-bottom: 2px;
    line-height: 1.2;
}

#main table {
    width: 100%;
    border-collapse: collapse;
    margin: 10px 0;
}

#main table th {
    padding: 8px;
    font-size: 12px;
    color: #ffffff;
    text-align: left;
    border: 1px solid #dddddd;
    background: #3c3c3c;
}

#main table td {
    padding: 8px;
    font-size: 14px;
    text-align: left;
    border: 1px solid #dddddd;
}

/* Auto-style classes */
.auto-style3 {
    font-size: 18px;
    font-weight: bold;
    color: #0066ff;
    line-height: 1.3;
}

/* Sidebar */
#sub {
    float: right;
    width: 280px;
    padding: 5px;
    background: #ebe9eb;
    border-radius: 5px;
}

#sub h2 {
    padding: 4px;
    font-size: 14px;
    color: #ffffff;
    background-color: #3300ff;
    margin: 0 0 8px 0;
    border-radius: 3px;
}

#sub ul {
    margin: 4px 0 12px;
    padding: 0;
    list-style: none;
}

#sub li {
    margin: 0 0 0 5px;
    padding: 4px 0 4px 10px;
    border-bottom: 1px solid #ffffff;
    line-height: 1.3;
}

#sub li a {
    color: #0066ff;
    text-decoration: none;
    font-size: 13px;
}

#sub li a:hover {
    color: #ff0000;
}

/* Clear float */
#totop {
    clear: both;
}

/* Footer */
#footer {
    width: 810px;
    clear: both;
    padding: 10px 0;
}

.copyright {
    text-align: center;
    font-size: 11px;
    padding: 20px 0;
    color: #666;
    border-top: 1px solid #ddd;
}

/* Responsive adjustments */
@media screen and (max-width: 850px) {
    #top {
        width: 95%;
        margin: 10px auto;
    }
    
    #header, #menu, #contents, #icatch {
        width: 100%;
    }
    
    #main {
        width: 60%;
    }
    
    #sub {
        width: 35%;
    }
    
    #icatch img {
        width: 33.33%;
        height: auto;
        float: left;
    }
}

@media screen and (max-width: 600px) {
    #main, #sub {
        float: none;
        width: 100%;
    }
    
    #sub {
        margin-top: 20px;
    }
    
    #menu ul li {
        float: none;
        display: block;
    }
    
    #menu li a {
        display: block;
        padding: 10px;
        border-bottom: 1px solid #0055cc;
    }
    
    #icatch {
        text-align: center;
    }
    
    #icatch img {
        width: 100%;
        height: auto;
        margin-bottom: 5px;
        float: none;
        display: block;
    }
}

/* Additional styling for better readability */
strong {
    color: #333;
    font-weight: bold;
}

#main ul strong {
    color: #0066ff;
    display: block;
    margin-top: 6px;
    margin-bottom: 2px;
    font-size: 14px;
}

/* Links in sidebar with special colors */
#sub li[style*="color: #cc0000"] a {
    color: #cc0000 !important;
    font-weight: bold;
}

#sub li[style*="color: #0066ff"] a {
    color: #0066ff !important;
    font-weight: bold;
}

/* Hover effects */
#main a:hover {
    color: #ff0000;
}

/* List styling improvements */
#main > ul > li {
    margin-left: 20px;
}

#main ul ul li {
    margin-left: 20px;
    margin-bottom: 3px;
}

/* Spacing improvements */
#main h3 + p {
    margin-top: 3px;
}

#main ul + h3 {
    margin-top: 10px;
}

/* Header logo spacing */
#header img {
    vertical-align: middle;
}