/*
 These two variables support the maximum height/width of
 the resizable feature on the Kernel File Browser, making
 them relative to the user's browser window size.
 */
:root {
	--root-height: calc(100vh - 255px);
	--root-width: calc(100vw - 88px);
}

h1 {
    font-size: 120%;
    font-weight: bold;
}

h2 {
    font-size: 115%;
    font-weight: bold;
}

h3 {
    font-size: 110%;
    font-weight: bold;
}

h4 {
    font-size: 105%;
    font-weight: bold;
}

hr {
    size: 1;
    height: 1px;
}

body {
  background-color: white;
  color: black;
  font-family: Arial, sans-serif;
  margin: 2px 2px 2px 2px;
}

code {
  font-size: 8pt;
}

a {
  color: black;
  font-size: 8pt;
  cursor: pointer;
}

a:visited {
  color: black;
  font-size: 8pt;
}

a:hover {
    color: red;
}

/** ***************************************************************************
 The following CSS style defines the look and feel for the Kernel File
 Browser widget.
*/
.wgccomp-ServerFileBrowser {
  background-color: #EEEEEE;
  border: 1px solid #AAAAAA;
  padding: 4px;
  font-size: 8pt;
}

.wgccomp-ServerFileBrowser .wgccomp-ServerFileBrowserList {
  font-family: courier; /* do not change this or the file list will look ugly */
  width: 100%;
  height: 100%;
}

.wgccomp-ServerFileBrowser .wgccomp-ServerFileBrowserResize {
  min-width: 400px;
  min-height: 200px;
  max-width: var(--root-width);
  max-height: var(--root-height);
  padding: 4px;
  resize: both;
  overflow: auto;
}

.wgccomp-ServerFileBrowserServerWait {
	cursor: wait;
}

.wgccomp-BoxedText {
  border: 2px inset #EEEEEE;
  padding: 1px 1px 1px 1px;
  background: white;
  color: black;
  font-size: 8pt;
}

.wgccomp-TitleBar {
    width: 100%;
    /* background-color: #C3D9FF; */
    padding-left: 2px;
    margin-bottom: 2px;
}

.wgccomp-TitleBar-HelpButton {
    border: 0px;
    padding-right: 5px;
    cursor: help;
}