339 lines
7.7 KiB
CSS
339 lines
7.7 KiB
CSS
|
@charset "UTF-8";
|
||
|
|
/* Some mixins */
|
||
|
|
/* Basic style for some HTML elements */
|
||
|
|
body {
|
||
|
|
-webkit-font-smoothing: antialiased;
|
||
|
|
-moz-osx-font-smoothing: grayscale;
|
||
|
|
text-rendering: optimizeLegibility; }
|
||
|
|
|
||
|
|
footer.center.aligned p {
|
||
|
|
text-align: center; }
|
||
|
|
footer p {
|
||
|
|
color: rgba(255, 255, 255, 0.5); }
|
||
|
|
|
||
|
|
ul,
|
||
|
|
ol {
|
||
|
|
padding-left: 2rem; }
|
||
|
|
|
||
|
|
p {
|
||
|
|
line-height: 1.5rem; }
|
||
|
|
[lang='cn'] p {
|
||
|
|
text-align: justify; }
|
||
|
|
|
||
|
|
hr {
|
||
|
|
display: block;
|
||
|
|
height: 1px;
|
||
|
|
border: 0;
|
||
|
|
border-bottom: 3px double #EEE;
|
||
|
|
margin: 1rem 0;
|
||
|
|
padding: 0; }
|
||
|
|
hr.plain {
|
||
|
|
border-bottom: 1px solid #DDD; }
|
||
|
|
|
||
|
|
/* blockquote styles comes from bootstrap */
|
||
|
|
blockquote {
|
||
|
|
padding: 0.6rem 1rem 0.4rem;
|
||
|
|
margin: 0 0 0.8rem;
|
||
|
|
border-left: 3px solid #eee; }
|
||
|
|
blockquote p {
|
||
|
|
line-height: 1.2rem;
|
||
|
|
margin-bottom: 0.3rem;
|
||
|
|
text-align: start !important; }
|
||
|
|
blockquote p:last-child {
|
||
|
|
margin-bottom: 0; }
|
||
|
|
blockquote ul:last-child,
|
||
|
|
blockquote ol:last-child {
|
||
|
|
margin-bottom: 0; }
|
||
|
|
blockquote footer,
|
||
|
|
blockquote small,
|
||
|
|
blockquote .small {
|
||
|
|
margin-bottom: 0.5rem;
|
||
|
|
display: block;
|
||
|
|
font-size: 80%;
|
||
|
|
line-height: 1.42857;
|
||
|
|
color: #999;
|
||
|
|
padding: 0; }
|
||
|
|
blockquote footer:before,
|
||
|
|
blockquote small:before,
|
||
|
|
blockquote .small:before {
|
||
|
|
content: "— "; }
|
||
|
|
blockquote cite:before {
|
||
|
|
content: "«"; }
|
||
|
|
blockquote cite:after {
|
||
|
|
content: "»"; }
|
||
|
|
|
||
|
|
img {
|
||
|
|
width: 100%; }
|
||
|
|
img.logo {
|
||
|
|
width: 200px;
|
||
|
|
margin: 3rem 0 1rem; }
|
||
|
|
|
||
|
|
nav.ui.menu {
|
||
|
|
border-radius: 0; }
|
||
|
|
nav.ui.menu.ui.container > a.item:first-child {
|
||
|
|
margin-left: -1.14286em; }
|
||
|
|
nav.ui.menu.ui.container > .right.menu > a.item:last-child {
|
||
|
|
padding-right: 0; }
|
||
|
|
|
||
|
|
/* Styles for semantic-ui elements */
|
||
|
|
.ui.alternative.segment {
|
||
|
|
background: #FFFFFF; }
|
||
|
|
.ui.vertical.stripe.segment {
|
||
|
|
padding: 4rem 0; }
|
||
|
|
.ui.vertical.segment {
|
||
|
|
padding: 2rem 0; }
|
||
|
|
|
||
|
|
.ui.menu {
|
||
|
|
border-radius: 0;
|
||
|
|
box-shadow: none;
|
||
|
|
margin-bottom: 0;
|
||
|
|
-moz-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-ms-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-o-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-webkit-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
font-feature-settings: "smcp" 0, "onum" 0; }
|
||
|
|
.ui.menu form {
|
||
|
|
font-size: 14px; }
|
||
|
|
.ui.menu input {
|
||
|
|
-moz-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-ms-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-o-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-webkit-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
font-size: 14px; }
|
||
|
|
|
||
|
|
.ui.progress {
|
||
|
|
margin: 1rem 0; }
|
||
|
|
.ui.progress .ui.label {
|
||
|
|
font-size: 0.8rem;
|
||
|
|
padding-top: 0.5rem;
|
||
|
|
padding-bottom: 0.2rem; }
|
||
|
|
|
||
|
|
.ui.article.segment {
|
||
|
|
font-feature-settings: "onum" 0;
|
||
|
|
box-shadow: 3px 3px 5px rgba(0, 0, 0, 0.65);
|
||
|
|
margin: 1.5rem 0 2.5rem 0;
|
||
|
|
padding-top: 2rem; }
|
||
|
|
.ui.article > .ui.grid > .row.article-head {
|
||
|
|
padding-bottom: 1rem; }
|
||
|
|
.ui.article > .ui.grid > .row.article-body {
|
||
|
|
padding-top: 0; }
|
||
|
|
.ui.article > .ui.grid > .row.article-body > aside {
|
||
|
|
display: table; }
|
||
|
|
.ui.article > .ui.grid > .row.article-body > aside > .ui.header {
|
||
|
|
margin-bottom: 0.2rem; }
|
||
|
|
.ui.article > .ui.grid > .row.article-body > aside > .ui.list {
|
||
|
|
margin-top: 0.5rem;
|
||
|
|
margin-bottom: 0.5rem; }
|
||
|
|
.ui.article > .ui.grid > .row.article-body .ui.header a {
|
||
|
|
color: inherit; }
|
||
|
|
|
||
|
|
/* Position, width, margin modifications for right rail */
|
||
|
|
.right.rail .header {
|
||
|
|
margin-top: 3em !important; }
|
||
|
|
|
||
|
|
.ui.demo.container .tab .example {
|
||
|
|
margin: 2em 0em;
|
||
|
|
padding: 2em 0em;
|
||
|
|
position: relative; }
|
||
|
|
.ui.demo.container .tab .example:last-child:not(.position) {
|
||
|
|
padding-bottom: auto; }
|
||
|
|
.ui.demo.container.basic.segment {
|
||
|
|
padding-left: 0em; }
|
||
|
|
|
||
|
|
/* Width and position on <- 768 - 992 - 1200 -> px screens */
|
||
|
|
@media only screen and (min-width: 1200px) {
|
||
|
|
.right.rail {
|
||
|
|
left: 827px !important; }
|
||
|
|
|
||
|
|
.ui.demo.container {
|
||
|
|
margin-left: calc((100% - 1127px)/2) !important;
|
||
|
|
margin-right: 387px !important; }
|
||
|
|
.ui.demo.container > .tab {
|
||
|
|
width: 827px; }
|
||
|
|
|
||
|
|
#content .vertical.segment:not(.center) .container {
|
||
|
|
width: 827px;
|
||
|
|
margin-left: calc((100% - 1127px)/2) !important; } }
|
||
|
|
@media only screen and (min-width: 992px) and (max-width: 1199px) {
|
||
|
|
.right.rail {
|
||
|
|
left: 732px !important;
|
||
|
|
width: 200px !important; }
|
||
|
|
|
||
|
|
.ui.demo.container {
|
||
|
|
margin-left: calc((100% - 933px)/2) !important;
|
||
|
|
margin-right: 250px !important; }
|
||
|
|
.ui.demo.container > .tab {
|
||
|
|
width: 732px; }
|
||
|
|
|
||
|
|
#content .vertical.segment:not(.center) .container {
|
||
|
|
width: 732px;
|
||
|
|
margin-left: calc((100% - 933px)/2) !important; } }
|
||
|
|
@media only screen and (min-width: 768px) and (max-width: 991px) {
|
||
|
|
.right.rail {
|
||
|
|
left: 550px !important;
|
||
|
|
width: 160px !important; }
|
||
|
|
|
||
|
|
.ui.demo.container {
|
||
|
|
margin-left: calc((100% - 723px)/2) !important;
|
||
|
|
margin-right: 250 !important; }
|
||
|
|
.ui.demo.container > .tab {
|
||
|
|
width: 550px; }
|
||
|
|
|
||
|
|
#content .vertical.segment:not(.center) .container {
|
||
|
|
width: 550px;
|
||
|
|
margin-left: calc((100% - 723px)/2) !important; } }
|
||
|
|
@media only screen and (max-width: 767px) {
|
||
|
|
.right.rail {
|
||
|
|
display: none; }
|
||
|
|
|
||
|
|
.ui.demo.container {
|
||
|
|
margin-left: auto;
|
||
|
|
margin-right: auto; }
|
||
|
|
.ui.demo.container > .tab {
|
||
|
|
width: auto; }
|
||
|
|
|
||
|
|
#content .vertical.segment .container {
|
||
|
|
width: auto; } }
|
||
|
|
/* Enable smallcaps and oldstyle-number OpenType features for English */
|
||
|
|
[lang='en'] {
|
||
|
|
-moz-font-feature-settings: "smcp" 0, "onum" 1;
|
||
|
|
-ms-font-feature-settings: "smcp" 0, "onum" 1;
|
||
|
|
-o-font-feature-settings: "smcp" 0, "onum" 1;
|
||
|
|
-webkit-font-feature-settings: "smcp" 0, "onum" 1;
|
||
|
|
font-feature-settings: "smcp" 0, "onum" 1; }
|
||
|
|
|
||
|
|
/* Disable smallcaps and oldstyle-number OpenType features for Chinese */
|
||
|
|
[lang='cn'] {
|
||
|
|
-moz-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-ms-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-o-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
-webkit-font-feature-settings: "smcp" 0, "onum" 0;
|
||
|
|
font-feature-settings: "smcp" 0, "onum" 0; }
|
||
|
|
|
||
|
|
/* TeX and LaTeX Logo in HTML */
|
||
|
|
.tex sub {
|
||
|
|
text-transform: uppercase;
|
||
|
|
top: auto;
|
||
|
|
bottom: auto; }
|
||
|
|
|
||
|
|
.latex sub,
|
||
|
|
.latex sup {
|
||
|
|
text-transform: uppercase;
|
||
|
|
top: auto;
|
||
|
|
bottom: auto; }
|
||
|
|
|
||
|
|
.tex sub,
|
||
|
|
.latex sub {
|
||
|
|
vertical-align: -0.5ex;
|
||
|
|
margin-left: -0.1667rem;
|
||
|
|
margin-right: -0.125rem; }
|
||
|
|
|
||
|
|
.tex,
|
||
|
|
.latex,
|
||
|
|
.tex sub,
|
||
|
|
.latex sub {
|
||
|
|
font-size: 1rem; }
|
||
|
|
|
||
|
|
/* disqus comment div */
|
||
|
|
#disqus_thread {
|
||
|
|
margin-top: 2rem; }
|
||
|
|
|
||
|
|
@media only screen and (max-width: 767px) {
|
||
|
|
.desktop-only {
|
||
|
|
display: none; }
|
||
|
|
|
||
|
|
.ui.menu .item.desktop-only {
|
||
|
|
display: none; }
|
||
|
|
|
||
|
|
.ui[class*="padded"].segment {
|
||
|
|
padding: 1.5rem; }
|
||
|
|
|
||
|
|
.ui.grid .ui.stackable.grid {
|
||
|
|
margin-left: 0 !important;
|
||
|
|
margin-right: 0 !important; } }
|
||
|
|
|
||
|
|
.hidden.menu {
|
||
|
|
display: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
.masthead.segment {
|
||
|
|
min-height: 600px;
|
||
|
|
padding: 1em 0em;
|
||
|
|
}
|
||
|
|
.masthead .logo.item img {
|
||
|
|
margin-right: 1em;
|
||
|
|
}
|
||
|
|
.masthead .ui.menu .ui.button {
|
||
|
|
margin-left: 0.5em;
|
||
|
|
}
|
||
|
|
.masthead h1.ui.header {
|
||
|
|
margin-top: 2em;
|
||
|
|
margin-bottom: 0em;
|
||
|
|
font-size: 4em;
|
||
|
|
font-weight: normal;
|
||
|
|
}
|
||
|
|
.masthead h2 {
|
||
|
|
font-size: 1.7em;
|
||
|
|
font-weight: normal;
|
||
|
|
}
|
||
|
|
|
||
|
|
.ui.vertical.stripe {
|
||
|
|
padding: 8em 0em;
|
||
|
|
}
|
||
|
|
.ui.vertical.stripe h3 {
|
||
|
|
font-size: 2em;
|
||
|
|
}
|
||
|
|
.ui.vertical.stripe .button + h3,
|
||
|
|
.ui.vertical.stripe p + h3 {
|
||
|
|
margin-top: 3em;
|
||
|
|
}
|
||
|
|
.ui.vertical.stripe .floated.image {
|
||
|
|
clear: both;
|
||
|
|
}
|
||
|
|
.ui.vertical.stripe p {
|
||
|
|
font-size: 1.33em;
|
||
|
|
}
|
||
|
|
.ui.vertical.stripe .horizontal.divider {
|
||
|
|
margin: 3em 0em;
|
||
|
|
}
|
||
|
|
|
||
|
|
.quote.stripe.segment {
|
||
|
|
padding: 0em;
|
||
|
|
}
|
||
|
|
.quote.stripe.segment .grid .column {
|
||
|
|
padding-top: 5em;
|
||
|
|
padding-bottom: 5em;
|
||
|
|
}
|
||
|
|
|
||
|
|
.footer.segment {
|
||
|
|
padding: 5em 0em;
|
||
|
|
}
|
||
|
|
|
||
|
|
.secondary.menu .toc.item {
|
||
|
|
display: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
@media only screen and (max-width: 700px) {
|
||
|
|
.ui.fixed.menu {
|
||
|
|
display: none !important;
|
||
|
|
}
|
||
|
|
.secondary.menu .item.toosmall,
|
||
|
|
.secondary.menu .menu.toosmall {
|
||
|
|
display: none !important;
|
||
|
|
}
|
||
|
|
.secondary.menu .toc.item {
|
||
|
|
display: block;
|
||
|
|
}
|
||
|
|
.masthead.segment {
|
||
|
|
min-height: 350px;
|
||
|
|
}
|
||
|
|
.masthead h1.ui.header {
|
||
|
|
font-size: 2em;
|
||
|
|
margin-top: 1.5em;
|
||
|
|
}
|
||
|
|
.masthead h2 {
|
||
|
|
margin-top: 0.5em;
|
||
|
|
font-size: 1.5em;
|
||
|
|
}
|
||
|
|
}
|