Commit 50d21bca authored by Jason Fox's avatar Jason Fox
Browse files

Tweak CSS.

parent b429499f
Loading
Loading
Loading
Loading
+26 −7
Original line number Diff line number Diff line
@@ -11,6 +11,7 @@
  font-size: 9pt;
  font-weight: bold;
  text-align: center;
  color: #100;
}

.TAC {
@@ -26,14 +27,14 @@

.HTML-Variable {
  font-family: "Roboto Mono", Monospace;
  font-size: 8pt;
  font-size: 1em;
  font-style: italic;
}

.HTML-Keyboard {
  font-family: Times New Roman;
  font-size: 10pt;
  color: #595959;
  font-family: Roboto, Arial, sans-serif;
  font-size: 1.1em;
  color: #100;
}

.HTML-Definition {
@@ -50,7 +51,7 @@

.HTML-Code {
  font-family: "Roboto Mono", Monospace;
  font-size: 8pt;
  font-size: 1em;
  color: #31849b;
}

@@ -59,10 +60,10 @@
}

.HTML-Error {
  font-family: Times New Roman;
  font-family: Arial;
  font-weight: bold;
  font-style: italic;
  color: #595959;
  color: #622;
}

.TAJ {
@@ -113,9 +114,13 @@
}
.NO {
  padding-left: 12pt;
  padding-right: 12pt;
  margin-bottom: 9pt;
  display: flex;
  gap: 12pt;
  border: 1px solid;
  border-color: #4078c0;
  background-color: aliceblue;
}

.NO > p {
@@ -128,6 +133,10 @@
  white-space: nowrap;
}

.NO > div:first-of-type {
  font-weight: bold;
}

.EQ {
  text-align: center;
}
@@ -138,6 +147,8 @@
  display: flex;
  gap: 12pt;
  align-items: flex-start;
  min-width: 100%;
  max-width: 100%;
}

.EX > p {
@@ -150,6 +161,14 @@
  white-space: nowrap;
}

.EX > div:first-of-type {
  font-weight: bold;
}

.EX > div:nth-child(2) {
  width: 100%;
}

.EW {
  gap: 12pt;
  display: flex;
+14 −3
Original line number Diff line number Diff line
@@ -18,6 +18,7 @@ html {

body {
  margin: 0;
  color: #333;
}

#TOC {
@@ -80,6 +81,7 @@ body {

#editor {
  padding: 0 2rem;
  max-width: 1140px;
}

@media screen and (max-width: 600px) {
@@ -581,14 +583,17 @@ h6 {
  font-weight: 600;
  line-height: 1.25;
  margin-bottom: 16px;
  margin-top: 24px;
  margin-top: 2em;
  color: #100;
}
h1 {
  margin-top: 1.5em;
  padding-bottom: 0.3em;
  font-size: 2em;
  border-bottom: 1px solid #eee;
}
h2 {
  margin-top: 1.5em;
  padding-bottom: 0.3em;
  font-size: 1.5em;
  border-bottom: 1px solid #eee;
@@ -798,7 +803,7 @@ table td > p:last-child {
}
table tr {
  border-top: 1px solid #ccc;
  background-color: #fff;
  background-color: #f8f8f8;
}

/* STRIPED TABLES DOES NOT WORK WITH GRID TABLES AS THEY REQUIRE CUSTOM CSS TO WORK PROPERLY
@@ -821,7 +826,7 @@ tt {
  padding-bottom: 0.2em;
  margin: 0;
  font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
  font-size: 10pt;
  font-size: 1em;
  background-color: rgba(0, 0, 0, 0.04);
  border-radius: 3px;
}
@@ -841,6 +846,12 @@ pre {
  line-height: 19px;
  overflow: auto;
  border-radius: 3px;
  border: 1px solid;
  border-color: #ccc;
  min-width: 100%;
  max-width: 100%;
  width: 100%;
  padding-right: 16px;
}
pre code,
pre tt {