/* * Monitoring Plugins style sheet. * * Color scheme: * * - See . * - Additionally, we use the CSS color "dimgray" (#696969) for stuff like the * breadcrumb navigation and the footer. */ /* * @import url("https://fonts.googleapis.com/css?family=Bitter"); * @import url("https://fonts.googleapis.com/css?family=Source+Sans+Pro"); * @import url("https://fonts.googleapis.com/css?family=Source+Code+Pro"); */ body { font-family: "Source Sans Pro", sans-serif; text-rendering: optimizeLegibility; } h1, h2, h3, h4, h5, h6 { color: #004e8f; font-family: "Bitter", serif; } code, kbd { font-family: "Source Code Pro", monospace; white-space: pre; } pre { font-family: "Source Code Pro", monospace; font-size: small; } div#github-ribbon a img { position: absolute; top: 0; right: 0; border-style: none; } div#page { max-width: 45em; margin: 1em auto; } div#menu { padding: 0.625em 0; background-color: #1b476b; font-weight: bold; } div#menu span { padding: 0.625em; } div#menu span#current { color: #fff; background-color: #5a95c7; } div#menu a { color: #fff; text-decoration: none; -webkit-transition-property: color; -moz-transition-property: color; -ms-transition-property: color; -o-transition-property: color; transition-property: color; -webkit-transition-duration: 0.3s; -moz-transition-duration: 0.3s; -ms-transition-duration: 0.3s; -o-transition-duration: 0.3s; transition-duration: 0.3s; } div#menu a:hover { color: #eeb76b; } div#menu div#feed-buttons { float: right; } div#menu div#feed-buttons a img { margin-right: 0.625em; border-style: none; } div#breadcrumb { padding: 1em 1em 0.2em; color: #696969; font-size: small; } div#breadcrumb span#release { float: right; font-weight: bold; } div#content { padding: 0.2em 1em 1em; } div#content a { color: #3283c7; text-decoration: none; border-bottom: 1px dotted #3283c7; } div#content a:hover { border-bottom: 1px solid #3283c7; } div#footer { padding: 1em; color: #696969; text-align: center; font-size: small; line-height: 150%; } div#breadcrumb a, div#footer a { color: #696969; text-decoration: none; border-bottom: 1px dotted #696969; } div#breadcrumb a:hover, div#footer a:hover { border-bottom: 1px solid #696969; } p#news-footer { color: #696969; text-align: center; font-size: small; } /* * Nginx Fancy Index. */ table { font-family: "Source Code Pro", monospace; font-size: small; } table a { color: #3283c7; text-decoration: none; } table a:hover { color: #3283c7; /* Overwrite Fancy Index CSS. */ } img.travis { vertical-align: sub; } /* * On narrow displays, replace the menu bar with a simple list of items, and * omit the GitHub ribbon. */ @media (max-width: 45em) { div#menu { padding: 1em; background-color: #fff; border-bottom: 1px dotted #696969; } div#menu span { display: list-item; padding: 0; } div#menu span#current { color: #5a95c7; background-color: #fff; } div#menu a { color: #1b476b; } } @media (max-width: 60em) { div#github-ribbon { display: none; } }