You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
67 lines
922 B
67 lines
922 B
a { |
|
/* border-right: 3px; */ |
|
} |
|
|
|
body { |
|
font-family: "Gill Sans", "Gill Sans MT", "Myriad Pro", "DejaVu Sans Condensed", Helvetica, Arial, "sans-serif"; |
|
/* |
|
margin-left: 10vw; |
|
margin-right: 10vw; |
|
*/ |
|
} |
|
|
|
img { |
|
max-width: 60%; |
|
} |
|
|
|
.sectiontitle { |
|
font-size: 2em; |
|
} |
|
|
|
|
|
.heading h1 { |
|
font-size: 3em; |
|
} |
|
|
|
.heading p { |
|
font-size: 2em; |
|
} |
|
|
|
.global_menu a { |
|
padding: 1em; |
|
border: solid; |
|
background-color: gold; |
|
color: black; |
|
font-size: 18px; |
|
text-align: center; |
|
} |
|
|
|
.local_menu a { |
|
padding: 10px; |
|
border: solid; |
|
background-color: black; |
|
color: gold; |
|
font-size: 18px; |
|
text-align: center; |
|
height: auto; |
|
} |
|
|
|
.sidebar { |
|
background-color: black; |
|
color: white; |
|
padding: 16px; |
|
} |
|
|
|
.syntax { |
|
font-size: 1.2em; |
|
font-style: italic; |
|
font-weight: 700; |
|
color: darkblue; |
|
} |
|
|
|
.inset { |
|
font-size: 1.2em; |
|
font-style: italic; |
|
font-weight: 700; |
|
color: darkred; |
|
} |