everest-web/css/everest.css

85 lines
1.6 KiB
CSS
Raw Normal View History

2023-01-26 17:27:05 -05:00
/* css/everest.css - stylesheet for everest-web */
/*
Copyright (C) 2023 Everest Linux.
Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.3
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
A copy of the license is included in the section entitled "GNU
Free Documentation License".
*/
/* Sidebar menu */
.sidenav {
height: 100%;
width: 160px;
2022-06-28 18:44:37 -04:00
position: fixed;
2023-01-26 17:27:05 -05:00
z-index: 1;
2022-06-28 18:44:37 -04:00
top: 0;
2023-01-26 17:27:05 -05:00
left: 0;
2023-01-26 17:38:56 -05:00
background-color: #1E1E1E;
2023-01-26 17:27:05 -05:00
overflow-x: hidden;
padding-top: 20px;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
/* Menu links */
.sidenav a {
padding: 6px 8px 6px 16px;
text-decoration: none;
font-size: 20px;
color: #818181;
display: block;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
.sidenav a:hover {
color: #4a86e8ff;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
.main {
margin-left: 160px;
padding: 0px 10px;
2023-01-26 17:38:56 -05:00
background-color: #1E1E1E;
2023-01-26 17:40:07 -05:00
color: white;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
@media screen and (max-height: 450px) {
.sidenav {padding-top: 15px;}
.sidenav a{font-size: 18px;}
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
body {
font-family: sans-serif;
2023-01-26 17:35:09 -05:00
background-color: #1E1E1E;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
code {
font-family: monospace;
background-color: black;
border-left-style: solid;
border-left-width: 4px;
border-radius: 2px;
padding: 2px;
2023-01-26 17:35:09 -05:00
color: white;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
h2 {
border-left-style: solid;
border-color: #4a86e8ff;
padding-left: 4px;
border-width: 8px;
border-radius: 5px;
2022-06-28 18:44:37 -04:00
}
2023-01-26 17:27:05 -05:00
2022-06-28 18:44:37 -04:00
button {
2023-01-26 17:27:05 -05:00
font-size: 24px;
border-style: none;
border-left-style: solid;
border-width: 8px;
padding: 12px 28px;
border-color: #4a86e8ff;
border-radius: 5px;
}
hr.dotted {
border-top: 3px dotted #bbb;
2023-01-26 17:38:56 -05:00
}