OptimalControl.jl/docs/src/assets/custom.css at 9c72060dbee27103aeb6bff79b3c6f5d2d4b92d4 · control-toolbox/OptimalControl.jl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
/* Responsive layout for two-column content */
.responsive-columns-left-priority {
    display: flex;
    gap: 1rem;
    align-items: flex-start;
    margin-bottom: 1em;
}

.responsive-columns-left-priority > div {
    flex: 1;
    min-width: 0;
    transition: opacity 0.5s ease-in-out, flex 0.5s ease-in-out, max-width 0.5s ease-in-out, max-height 0.5s ease-in-out;
}

.responsive-columns-left-priority > div:last-child {
    opacity: 1;
    max-width: 100%;
    max-height: none;
}

/* Media query for screens smaller than 700px */
@media (max-width: 700px) {
    .responsive-columns-left-priority > div:last-child {
        opacity: 0;
        max-width: 0;
        max-height: 0;
        flex: 0 0 0;
        overflow: hidden;
        margin: 0;
        padding: 0;
    }

    .responsive-columns-left-priority > div:first-child {
        flex: 1 1 100%;
    }
}

/* 30% / 70% two-column layout */
.responsive-columns-30-70 {
    display: flex;
    gap: 1rem;
    align-items: flex-start;
    margin-bottom: 1em;
}

.responsive-columns-30-70 > div:first-child {
    flex: 3;
    min-width: 0;
    transition: opacity 0.5s ease-in-out, flex 0.5s ease-in-out, max-width 0.5s ease-in-out, max-height 0.5s ease-in-out;
}

.responsive-columns-30-70 > div:last-child {
    flex: 7;
    min-width: 0;
    opacity: 1;
    max-width: 100%;
    max-height: none;
    transition: opacity 0.5s ease-in-out, flex 0.5s ease-in-out, max-width 0.5s ease-in-out, max-height 0.5s ease-in-out;
}

@media (max-width: 700px) {
    .responsive-columns-30-70 > div:last-child {
        opacity: 0;
        max-width: 0;
        max-height: 0;
        flex: 0 0 0;
        overflow: hidden;
        margin: 0;
        padding: 0;
    }

    .responsive-columns-30-70 > div:first-child {
        flex: 1 1 100%;
    }
}