/* OS style sheet */

/* Older OS/161 styles */

.important {
	font-weight: bold;
    color: red;
}        

/* Old gdb tut styles */

pre.gdb {
	background-color: lightgreen;
}

pre.os161 {
	background-color: lightblue;
}

pre.gdbinit {
	background-color: lightgreen;
}

pre.unix {
	background-color: lightgray;
}

pre.wrong {
	background-color: #FFAAAA;
}

pre.correct {
	background-color: #AAFFAA;
}


/* The font for the main header title */
.top {

    font-family: "Arial";
    text-align: center;
    font-weight: bold;
    color: black;
    font-size: 200%;
}

/* The font for the title on each article */
.title {
        font-family: "Arial";
	text-align: center;
	color: navy;
}

h1, h2, h3, h4, h5 {
    font-family: "Arial";
    color: navy;
}

/* Styles for notices on front page */
.notice_header {
    font-family: "Arial";
    background-color: #99CCFF;
    font-size: larger;
}

.notice_poster {
	font-style: italic;
	font-size: smaller;
}

/* general table tweaks */
table {
	padding: 5;
	border-spacing: 1;
	border: 0;
}

th {
    font-family: "Arial";
	text-align: center;
	background-color: #99CCFF;
}

/*dl:before { counter-reset: dd-num }*/
dl {
	list-style: decimal;
}


/*dt:before { content: counter(dd-num, numeric) ". " }*/
dt {
    /*counter-increment: dd-num;*/
    font-size: larger;
    font-weight: bold;
}

img {
        border: none;
}

code {
    display: block;
    white-space: pre-wrap;
}

/* 20200211, jashankj: fix `pre' for reST output. */
pre {
	white-space: pre-wrap;
	word-break: break-all }
/* 20200228, jashankj: don't aggressively highlight ToC backrefs. */
.toc-backref {
	color: initial;
	text-decoration: none }
/* 20200228, jashankj: add reST admonition support. */
.admonition {
	border: 1px solid lightgrey;
	padding: 0 1rem;
	margin: 1rem 0;
	display: grid;
	grid-template-columns: auto auto;
	grid-template-areas: "title body" }
.admonition > * {
	grid-area: body }
.admonition > .admonition-title {
	grid-area: title;
	font-weight: bold;
	padding-right: 1rem; }
.admonition.note    { border-color: darkblue }
.admonition.warning { border-color: darkred }
.admonition.warning > .admonition-title {
	color: darkred }



/* New stuff */

body { 
  display: grid;
  grid-template-areas: 
    "header header"
    "nav article"
    "footer footer";
  grid-template-rows: 100px 1fr ;
  grid-template-columns: 20% 1fr;
  grid-gap: 0;
  height: 100vh;
  margin: 0;
  }

header, footer, nav {
  padding: 5px;
  background: #99CCFF;
}

article {
  padding: 10px;
  background: white;
}

#pageHeader {
  grid-area: header;
}
#pageFooter {
  grid-area: footer;
}
#mainArticle { 
  grid-area: article;      
  }

/****************
* Nav bar related styles
*/

#mainNav { 
  grid-area: nav; 
  }


#mainNav ul {
        display: block;
        list-style: none;
        padding: 0;
        margin: 6px;
}

#mainNav a {
    font-family: "Arial";
    display: block;
    color: black;
    padding: 3px;
    text-decoration: none;
}

/* Active/current link */
.mainNav a.active {
  background-color: #04AA6D;
  color: white;
}

/* Links on mouse-over */
#mainNav a:hover:not(.active) {
  background-color: white;
  color: black;
}


.menusection {
    font-family: "Arial";
    color: darkblue;
    font-weight: bold;
    display: block;
}

@media print {
    header, footer, nav {
	display: none;
    }
    
    body {
	display: grid;
	grid-template-areas: "article";
	grid-template-rows: auto ;
	grid-template-columns: auto;
    }
}

@media only screen and (max-width: 768px) {
    /* Move the full menu to the bottom on mobile devices */
    body {
        grid-template-areas:
            "article"
            "nav"
            "footer";
        grid-template-rows: auto ;
	grid-template-columns: auto;
	font-size: large;
    }
    header {
	display: none;
    }

}