/* --- 全体のスタイル --- */
body {
    font-family: 'Noto Sans JP', sans-serif;
    margin: 0;
    padding: 0;
    background-color: #f4f4f9;
    color: #333;
    line-height: 1.7;
}

/* 定義や定理の枠に共通する基本スタイル */
.box {
    margin: 2em 0; /* ボックスの上下に余白を設ける */
    padding: 1.5em; /* ボックスの内側の余白 */
    border-radius: 8px; /* 角を少し丸くする */
    background-color: #f9f9f9; /* 背景色を少しだけ灰色に */
}

/* ボックス内のタイトル（「定義」「定理」など）のスタイル */
.box-title {
    font-weight: bold;
    margin-bottom: 0.8em; /* タイトルと本文の間の余白 */
    font-size: 1.1em;
}

/* 定義用のスタイル */
.definition {
    border-left: 6px solid #4CAF50; /* 左側に緑色の太い線 */
}
.definition .box-title {
    color: #4CAF50; /* タイトルの文字色を緑に */
}

/* 定理用のスタイル */
.theorem {
    border-left: 6px solid #2196F3; /* 左側に青色の太い線 */
}
.theorem .box-title {
    color: #2196F3; /* タイトルの文字色を青に */
}


.container {
    max-width: 800px;
    margin: 0 auto;
    padding: 0 20px;
}

a {
    color: #007bff;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

/* --- ヘッダー --- */
header {
    background-color: #fff;
    padding: 30px 0;
    text-align: center;
    border-bottom: 1px solid #ddd;
}

header h1 {
    margin: 0;
    font-size: 2.5em;
    color: #2c3e50;
}

header p {
    color: #7f8c8d;
    margin: 5px 0 20px;
}

header nav ul {
    list-style: none;
    padding: 0;
    margin: 0;
    display: flex;
    justify-content: center;
    gap: 20px;
}

header nav a {
    font-weight: 700;
    color: #34495e;
    font-size: 1.1em;
}

/* --- メインコンテンツ --- */
main {
    padding: 40px 0;
}

main h2 {
    text-align: center;
    margin-bottom: 40px;
    font-size: 2em;
    color: #2c3e50;
}

/* --- ブログ投稿カード --- */
.post-card {
    background-color: #fff;
    border-radius: 8px;
    padding: 30px;
    margin-bottom: 30px;
    box-shadow: 0 4px 6px rgba(0, 0, 0, 0.05);
    transition: box-shadow 0.3s ease;
}

.post-card:hover {
    box-shadow: 0 8px 12px rgba(0, 0, 0, 0.1);
}

.post-date {
    font-size: 0.9em;
    color: #95a5a6;
    margin: 0 0 10px;
}

.post-card h3 {
    margin: 0 0 10px;
    font-size: 1.8em;
}

.post-card h3 a {
    color: #2c3e50;
}

.read-more {
    display: inline-block;
    margin-top: 15px;
    background-color: #007bff;
    color: #fff;
    padding: 8px 15px;
    border-radius: 5px;
    font-weight: 700;
    transition: background-color 0.3s ease;
}

.read-more:hover {
    background-color: #0056b3;
    text-decoration: none;
}

/* --- フッター --- */
footer {
    text-align: center;
    padding: 20px 0;
    margin-top: 20px;
    border-top: 1px solid #ddd;
    font-size: 0.9em;
    color: #7f8c8d;
}

/* --- レスポンシブ対応 --- */
@media (max-width: 600px) {
    header h1 {
        font-size: 2em;
    }
    .post-card h3 {
        font-size: 1.5em;
    }
}