Edit theme

This commit is contained in:
Van Duc Le 2023-09-05 19:30:05 -05:00 committed by GitHub
parent 5f80859022
commit a5bad300b8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
8 changed files with 105 additions and 44 deletions

View file

@ -240,7 +240,7 @@ header {
position: fixed;
top: 0;
left: 0;
right: 0;
right: 10px;
height: $navbar_height;
}
@ -296,7 +296,7 @@ nav {
}
&:hover {
border-top: 2px solid #9c3706;
border-top: 2px solid #045343;
color: black;
background: rgba(255, 255, 255, 0.25);
margin: 0;
@ -304,8 +304,8 @@ nav {
&.active {
// color: #FFF;
border-top: 2px solid #9c3706;
color: #9c3706;
border-top: 2px solid #045343;
color: #045343;
background: white;
}
@ -713,11 +713,11 @@ math {
}
#chat-icon {
color: lightseagreen;
color: #045343;
}
#chat-icon:hover {
color: darkgreen;
color: green;
}
#nav-lang-icon {
@ -905,4 +905,56 @@ select {
.view-next-page {
display: none;
}
}
.colored-text {
color: #045343;
}
.bold-text {
font-weight: bold;
}
.non-italics {
font-style: normal;
}
.margin-label{
margin-bottom: 2.5px;
}
::placeholder { /* Chrome, Firefox, Opera, Safari 10.1+ */
color: #045343;
opacity: 1; /* Firefox */
text-align: center;
}
:-ms-input-placeholder { /* Internet Explorer 10-11 */
color: #045343;
text-align: center;
}
::-ms-input-placeholder { /* Microsoft Edge */
color: #045343;
text-align: center;
}
input::placeholder{
color: #045343;
text-align: center;
}
::-webkit-input-placeholder {
color: #045343;
text-align: center;
}
:-moz-placeholder { /* Firefox 18- */
color: #045343;
text-align: center;
}
::-moz-placeholder { /* Firefox 19+ */
color: #045343;
text-align: center;
}