various updates
[~bandali/bndl.org] / static / style.css
index 4031953..f86c4e4 100644 (file)
@@ -101,20 +101,68 @@ article h3 {
   bottom: 0.05em;
 }
 
   bottom: 0.05em;
 }
 
-.center-text {
+.center {
   text-align: center;
 }
   text-align: center;
 }
+.justify {
+  text-align: justify;
+}
+
+details {
+  margin: 1em 0;
+  padding: 0.5em;
+}
+details summary {
+  cursor: pointer;
+}
+
+sup, sub {
+  position: relative;
+  top: -0.4em;
+  vertical-align: baseline;
+}
+sub {
+  top: 0.4em;
+}
+
+/* TeX logos */
+.t-logo {
+  font-family: "Tex Gyre Termes", serif;
+  /* letter-spacing: 1px; */
+  white-space: nowrap;
+}
+.t-logo sup {
+  font-size: 0.85em;
+  letter-spacing: 1px;
+  margin-left: -0.36em;
+  margin-right: -0.15em;
+  text-transform: uppercase;
+  vertical-align: 0.15em;
+  top: 0;
+}
+.t-logo sub {
+  font-size: 1em;
+  margin-left: -0.1667em;
+  margin-right: -0.125em;
+  text-transform: uppercase;
+  vertical-align: -0.5ex;
+  top: 0;
+}
 
 blockquote#abstract {
   font-size: 0.95em;
   text-align: justify;
 }
 
 
 blockquote#abstract {
   font-size: 0.95em;
   text-align: justify;
 }
 
-pre, code {
-  background: #f6f6f6;
-  font: 1.15em monospace;
+pre {
+  display: inline-block;
+  margin: 0.5em 0;
+  min-width: 100%;
   padding: 1em;
 }
   padding: 1em;
 }
+pre:first-of-type {
+  margin-top: 0;
+}
 pre > code {
   padding: 0;
   background: initial;
 pre > code {
   padding: 0;
   background: initial;
@@ -123,17 +171,26 @@ code {
   text-transform: none;
   padding: .2em .3em;
 }
   text-transform: none;
   padding: .2em .3em;
 }
-strong {
-  font-weight: bold;
+
+/* box effect */
+.box, details, pre, code {
+  background-color: #f8f8f8;
+  border: 1px solid #e6e6e6;
+  border-radius: 4px;
+  box-sizing: border-box;
+}
+details pre {
+  border: none;
 }
 }
-em {
-  font-style: italic;
+p.box {
+  font-size: 0.95em;
+  padding: 0.3em 0.6em;
 }
 
 table td {
   padding: 0.125em 0.3em;
 }
 }
 
 table td {
   padding: 0.125em 0.3em;
 }
-#pubs td {
+#publications td {
   padding-top: 0.4em;
   padding-bottom: 0.4em;
 }
   padding-top: 0.4em;
   padding-bottom: 0.4em;
 }