Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Updated DiffSharp css #688

Merged
merged 2 commits into from
Jul 22, 2021
Merged

Updated DiffSharp css #688

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
4e52e94
new diffsharp css
gbaydin Jul 22, 2021
5985902
Update fsdocs-default.css
dsyme Jul 22, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
184 changes: 114 additions & 70 deletions docs/content/fsdocs-default.css
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,13 +1,11 @@
/* @import url(https://fonts.googleapis.com/css?family=Droid+Sans|Droid+Sans+Mono|Open+Sans:400,600,700); */
/* @import url('https://fonts.googleapis.com/css2?family=Hind+Vadodara&display=swap'); */
/* CSS file from the fsprojects/FSharp.Formatting project modified by Atilim Gunes Baydin <[email protected]> for the DiffSharp project documentation, July 2021 */
dsyme marked this conversation as resolved.
Show resolved Hide resolved

@import url('https://fonts.googleapis.com/css2?family=Hind+Vadodara&family=Roboto+Mono&display=swap');
/*--------------------------------------------------------------------------
Formatting for page & standard document content
/*--------------------------------------------------------------------------*/

body {
/* font-family: 'Open Sans', serif; */
/* font-family: Roboto, Helvetica Neue, Helvetica, Arial, sans-serif; */
font-family: 'Hind Vadodara', sans-serif;
/* padding-top: 0px;
padding-bottom: 40px;
Expand Down Expand Up @@ -50,6 +48,7 @@ body {
font-size: 2rem;
letter-spacing: 1.78px;
line-height: 2.5rem;
text-transform: uppercase;
font-weight: 400;
}

Expand Down Expand Up @@ -223,38 +222,38 @@ body {
line-height: 1.375rem;
letter-spacing: 0.01px;
font-weight: 500;
color: #262626;
color: #262626;
}

.fsdocs-xmldoc h1 {
font-size: 1.2rem;
margin: 10px 0px 0px 0px;
}
.fsdocs-xmldoc h1 {
font-size: 1.2rem;
margin: 10px 0px 0px 0px;
}

.fsdocs-xmldoc h2 {
font-size: 1.2rem;
margin: 10px 0px 0px 0px;
}
.fsdocs-xmldoc h2 {
font-size: 1.2rem;
margin: 10px 0px 0px 0px;
}

.fsdocs-xmldoc h3 {
font-size: 1.1rem;
margin: 10px 0px 0px 0px;
}
.fsdocs-xmldoc h3 {
font-size: 1.1rem;
margin: 10px 0px 0px 0px;
}

/* #fsdocs-nav .searchbox {
margin-top: 30px;
margin-bottom: 30px;
} */

#fsdocs-nav img.logo {
width: 90%;
#fsdocs-nav img.logo{
width:90%;
/* height:140px; */
/* margin:10px 0px 0px 20px; */
margin-top: 40px;
border-style: none;
margin-top:40px;
border-style:none;
}

#fsdocs-nav input {
#fsdocs-nav input{
/* margin-left: 20px; */
margin-right: 20px;
margin-top: 20px;
Expand All @@ -267,26 +266,24 @@ body {
#fsdocs-nav {
/* margin-left: -5px; */
/* width: 90%; */
font-size: 0.95rem;
font-size:0.95rem;
}

#fsdocs-nav li.nav-header {
/* margin-left: -5px; */
/* width: 90%; */
padding-left: 0;
color: #262626;
text-transform: none;
font-size: 16px;
margin-top: 9px;
font-weight: bold;
}
#fsdocs-nav li.nav-header{
/* margin-left: -5px; */
/* width: 90%; */
padding-left: 0;
color: #262626;
text-transform: none;
font-size:16px;
}

#fsdocs-nav a {
padding-left: 0;
color: #6c6c6d;
/* margin-left: 5px; */
/* width: 90%; */
}
#fsdocs-nav a{
padding-left: 0;
color: #6c6c6d;
/* margin-left: 5px; */
/* width: 90%; */
}

/*--------------------------------------------------------------------------
Formatting pre and code sections in fsdocs-content (code highlighting is
Expand All @@ -312,7 +309,7 @@ body {
}

#fsdocs-content pre .fssnip code {
font: 0.85rem 'Roboto Mono', monospace;
font: 0.86rem 'Roboto Mono', monospace;
}

#fsdocs-content table.pre,
Expand All @@ -323,36 +320,45 @@ body {
border-top: 0px solid #e3e3e3;
border-collapse: separate;
white-space: pre;
font: 0.85rem 'Roboto Mono', monospace;
width: 90%;
margin-bottom: 1em;
font: 0.86rem 'Roboto Mono', monospace;
width: 100%;
margin: 10px 0px 20px 0px;
dsyme marked this conversation as resolved.
Show resolved Hide resolved
background-color: #f3f4f7;
padding: 10px;
/* border-radius: 5px; */
border-radius: 5px;
color: #8e0e2b;
max-width: none;
box-sizing: border-box;
}

#fsdocs-content pre.fssnip code {
font: 0.85rem 'Roboto Mono', monospace;
}
#fsdocs-content pre.fssnip code {
font: 0.86rem 'Roboto Mono', monospace;
font-weight: 600;
}

#fsdocs-content table.pre pre {
padding: 0px;
margin: 0px;
border-radius: 0px;
width: 100%;
}
#fsdocs-content table.pre {
background-color: #fff7ed;
}

#fsdocs-content table.pre td {
padding: 0px;
white-space: normal;
margin: 0px;
}
#fsdocs-content table.pre pre {
padding: 0px;
margin: 0px;
border-radius: 0px;
width: 100%;
background-color: #fff7ed;
color: #837b79;
}

#fsdocs-content table.pre td.lines {
width: 30px;
}
#fsdocs-content table.pre td {
padding: 0px;
white-space: normal;
margin: 0px;
width: 100%;
}

#fsdocs-content table.pre td.lines {
width: 30px;
}


#fsdocs-content pre {
Expand All @@ -364,7 +370,7 @@ body {
line-height: 1.375rem;
letter-spacing: 0.01px;
font-weight: 700;
color: #262626;
color: #262626;
}

/*--------------------------------------------------------------------------
Expand All @@ -380,7 +386,7 @@ body {
border-style: none;
margin-left: 10px;
width: auto;
height: 1.4em;
height: 1.4em;
}

.fsdocs-source-link .hover {
Expand All @@ -404,14 +410,14 @@ body {
/*--------------------------------------------------------------------------*/

#fsdocs-logo {
width: 140px;
height: 140px;
margin: 10px 0px 0px 0px;
border-style: none;
width:140px;
height:140px;
margin:10px 0px 0px 0px;
border-style:none;
}

/*--------------------------------------------------------------------------

/*--------------------------------------------------------------------------*/

#fsdocs-content table.pre pre {
Expand Down Expand Up @@ -508,15 +514,13 @@ body {
#fsdocs-content span.p {
color: #43AEC6;
}

#fsdocs-content span.pn {
color: #262626;
}
/* function */
#fsdocs-content span.f {
color: #e1e1e1;
}

#fsdocs-content span.fn {
color: #990000;
}
Expand All @@ -540,6 +544,8 @@ body {
/* comment */
#fsdocs-content span.c {
color: #808080;
font-weight: 400;
font-style: italic;
dsyme marked this conversation as resolved.
Show resolved Hide resolved
}
/* operators */
#fsdocs-content span.o {
Expand Down Expand Up @@ -586,3 +592,41 @@ div.fsdocs-tip {
color: #d1d1d1;
font: 0.85rem 'Roboto Mono', monospace;
}

.button {
dsyme marked this conversation as resolved.
Show resolved Hide resolved
display: inline-block;
border-radius: 2px;
background-color: #262626;
border: none;
color: #FFFFFF;
text-align: center;
font-size: 18px;
padding: 20px;
width: 120px;
transition: all 0.5s;
cursor: pointer;
/* margin: 5px; */
opacity: 0.85;
}

.button span {
cursor: pointer;
display: inline-block;
position: relative;
transition: 0.25s;
}

.button:hover {
opacity: 1;
background-color: #8e0e2b;
}

.button:hover span {
padding-left: 5px;
/* opacity: 1; */
}

.button:hover span:after {
opacity: 1;
/* right: 0; */
}